myroslambda
I like dependent types, agda and compilers. I did websites in PHP as a teenager. I haven't found the cure yet.
@keera-studios L'viv, Ukraine
Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-categories
A new Categories library
agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
agda-stdlib
The Agda standard library
clojurescript-unraveled
Ukrainian translation of “ClojureScript Unraveled” by @funcool
commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
embed-like-gist
Embed a file from Github repository just like Github Gist.
llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
test
Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems
myroslambda's Repositories
myroslambda/agda
Agda is a dependently typed programming language / interactive theorem prover.
myroslambda/agda-categories
A new Categories library
myroslambda/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
myroslambda/agda-stdlib
The Agda standard library
myroslambda/clojurescript-unraveled
Ukrainian translation of “ClojureScript Unraveled” by @funcool
myroslambda/commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
myroslambda/embed-like-gist
Embed a file from Github repository just like Github Gist.
myroslambda/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
myroslambda/test
myroslambda/Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems