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
- 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 - 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 - rc Public Forked from rakitzis/rc
rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)
xngns/rc’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 - 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
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…