Verified Systems Engineering Lab
Users following verse-lab
Jela Miraj
JelaMiraj
Content Creator, Unity3D & programming language design enthusiast. Is Fan of SmallTalk, Lisp, Erlang, & Haskell. Also likes Python, JavaScript, Elixir, & Ruby.
West Coast, USA
Abdul Basit Ahmad
darthcoder
Now that Angels desire to die. Father, we forsake the hymn of your spirit and invoke the Omniprayer etched in our cogitators... Thy Machines will.
Canara Bank India
Alexandre Rademaker
arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.
EMAp/FGV Rio de Janeiro
Yazhou Tang
ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner
Zhejiang University Hangzhou, China
Josh
tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.
Lucas Käldström
luxas
Emeritus @kubernetes SIG & WG co-chair and @cncf Ambassador | Staff Engineer at @upbound | MSc studies at Aalto Uni | KubeCon Keynote Speaker | KCD Helsinki
@kubernetes @cncf @upbound Finland
Yan
yanliu18
Programming Language, Formal Methods Researcher /
Smart Contract Auditor /
Haskell/Rust programming
Australian National University Melbourne
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
PreviousNext