xngns
Popular repositories Loading
-
-
lennart-lambda
lennart-lambda PublicForked from steshaw/lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
Haskell
-
-
parconc-examples
parconc-examples PublicForked from simonmar/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Haskell
Repositories
- parconc-examples Public Forked from simonmar/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
xngns/parconc-examples’s past year of commit activity - mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
xngns/mathematics_in_lean’s past year of commit activity - plfa.github.io Public Forked from plfa/plfa.github.io
An introduction to programming language theory in Agda
xngns/plfa.github.io’s past year of commit activity - millet Public Forked from matijapretnar/millet
A ML-like pure functional language that can be used as a template for creating your own language
xngns/millet’s past year of commit activity - libmprompt Public Forked from koka-lang/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
xngns/libmprompt’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…