TLA+
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLT, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
@vnu-frsl @vnu-sme Ichvers, Esteh, Enurbahnhof, Azeroy
Anil Dewani
anil-dewani
Living in admirations and inspirations that revolve around my passions!
Settuba
i-walker
小洞不补，大洞吃苦。
-- If small holes aren't fixed, then big holes will bring hardship.
Sr.Software Engineer & Physics Eng. Student.
▒ 0xC0000000
Shubham Mishra
grapheo12
Learning and applying the concepts of programming in real life problems.......
UC Berkeley Berkeley, USA
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Purushottam Singram
inxeoz
{
"profession": "👨💻 Tech Enthusiast",
"skills": ["💻 Coding", "🎨 Designing"],
"interests": ["🌌 Space Exploration", "🎮 Computer Games"]
}
PreviousNext