Skip to content
View ichxorya's full-sized avatar
🤰
Every luxury has a deep price. Every indulgence, a cosmic cost. #proposition1321
🤰
Every luxury has a deep price. Every indulgence, a cosmic cost. #proposition1321
21 followers · 126 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Organizations

@vnu-frsl @vnu-sme @SEhumantics @Javabujin

Block or report ichxorya

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Golang | NodeJS | Java | PHP | Android | Remote

Rust EVM

@StateSmith
StateSmith
@Javabujin
Javabujin Javabujin
Hobby projects for modernizing retro Java tools. Yabujin referrenced since he has many inspiring works of retro art.

Antarctica

@ftomassetti
Federico Tomassetti ftomassetti
Language Architect and Founder of Strumenta. We are specialized in language engineering: DSLs, design languages, parsers, editors, interpreters

Strumenta Turin, Italy

@Strumenta
Strumenta Strumenta
Strumenta - Language Engineering

Torino

@logicalhacking
Software Assurance & Security Research Team logicalhacking
Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).

Exeter, UK

@math-comp
Mathematical Components math-comp
@vnu-sme
Software Model Engineering Lab vnu-sme
@hbinhng
Nguyễn Hải Bình hbinhng
A die hard developer.
@domohai
domohai domohai
@eclipse-acceleo
Eclipse Acceleo eclipse-acceleo
@nalgnaohel
Hoang-Lan Le nalgnaohel
Think out of the box, then you'll like it

VNU University of Engineering and Technology Hanoi

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@xmf-xmodeler
xmf-xmodeler
@modelset
ModelSet modelset
A dataset for models
@knime
KNIME knime
@miciek
Michał Płachta miciek
The Maintainable Code Writer • Let's grok functional techniques together! • 📙 Author of "Grokking Functional Programming" • λ

Kraków, Poland

@FStarLang
FStarLang
@MDEGroup
MDEGroup MDEGroup
The Model-Driven Engineering Group at the University of L'Aquila

Via Vetoio, Coppito, 67100 L'Aquila IT

@SEhumantics
SEhumantics
@RVC-Project
RVC-Project
@vinhphunguyen
Vinh Phu Nguyen vinhphunguyen
A computational scientist working on the computational modelling of the deformation & fracture of solids.

Monash University Melbourne, Australia

@NamtaoProductions
NamtaoProductions
@tlaplus
TLA tlaplus
TLA is a formal specification language developed to design, model, document, and verify concurrent systems.
@HRNPH
HRNPH HRNPH
Passionate in Otaku Technology and anything ML. Always OpenSourced my shit code

Cariva Thailand bangkok, Thailand

@cables-gl
cables cables-gl
cables is visual programming in your browser

Berlin, Germany

@useocl
useocl
@Monitor221hz
Monitor Monitor221hz
often making mods for video games. I run on pure caffeine and spite

Lancaster University, United Kingdom

@emina
Emina Torlak emina

University of Washington Seattle

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@se-tuebingen
Software Engineering – University of Tübingen se-tuebingen
Github organization of the SE research group at University of Tübingen

Germany

@stitionai
stition stitionai
the pre-agi security company.
@eMoflon
eMoflon eMoflon
eMoflon is a CASE tool (computer-aided sofware engineering)

TU Darmstadt and Paderborn University

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@qu-ngx
Quang D. Nguyen qu-ngx
breaking the limits with true grits

DePauw University Indiana

@vohoanglong0107
Võ Hoàng Long vohoanglong0107
Jack of all trades, but a master of none

Tokyo, Japan

@cdietrich
Christian Dietrich cdietrich
Xtext & Langium Developer & Modeling Geek

Everest Systems

@HigherOrderCO
HigherOrderCO HigherOrderCO
Building the massively parallel future of computers
@NoCtrlZ1110
Nguyễn Văn Huy NoCtrlZ1110
https://vanhuy.dev/

VNU - University of Engineering and Technology Hà Nội

@eclipse-syson
Eclipse SysON eclipse-syson
@daivinhtran
Vinh Tran daivinhtran

Calif

@vnu-dse
vnu-dse
@lmstudio-ai
LM Studio lmstudio-ai
Discover, download, and run local LLMs

United States of America

@tornadocash
Tornado Cash tornadocash
Privacy Solution for Ethereum
@burgerbecky
Rebecca Heineman burgerbecky
Creator of Bard's Tale III: The Thief of Fate and Dragon Wars

Olde Sküül Heath, TX

@plfa
plfa
@jcabot
Jordi Cabot jcabot
Head of the Software Engineering RDI Unit at LIST. FNR Pearl Chair. Combining modeling, low-code, OSS and AI to make Better Software Faster.

Luxembourg Institute of Science and Technology Luxembourg

@BESSER-PEARL
BESSER-PEARL BESSER-PEARL
BESSER (Building Better Smart Software Faster) is an FNR Pearl funded project lead by @LIST-LUXEMBOURG with the collab of SnT/University of Luxembourg

Luxembourg

@ghost
Deleted user ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted. :ghost:

Nothing to see here, move along.

@davidpanderson
David Anderson davidpanderson
I'm a research scientist at University of California, Berkeley. I developed BOINC and worked on SETI@home. Now I'm working on other stuff.

UC Berkeley Berkeley CA