| lettier/lambda-lantern |
97 |
|
0 |
0 |
almost 7 years ago |
0 |
|
2 |
bsd-3-clause |
PureScript |
| 🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D. |
| tov/libffi-rs |
93 |
|
3 |
17 |
over 2 years ago |
40 |
March 28, 2023 |
19 |
apache-2.0 |
C |
| Rust bindings for libffi |
| mchakravarty/lazy-lambda |
70 |
|
0 |
0 |
over 9 years ago |
0 |
|
0 |
other |
Haskell |
| Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit |
| nicferrier/emacs-web |
69 |
|
0 |
0 |
over 6 years ago |
0 |
|
12 |
gpl-3.0 |
Emacs Lisp |
| a useful HTTP client in EmacsLisp |
| jsiek/abstract-binding-trees |
61 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
Agda |
| Abstract binding trees (abstract syntax trees plus binders), as a library in Agda |
| Sandern/lambdawars |
44 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
other |
C++ |
| Source code of Lambda Wars game, available on the Steam |
| brendanzab/moniker |
42 |
|
1 |
1 |
over 6 years ago |
10 |
October 13, 2018 |
9 |
apache-2.0 |
Rust |
| Automagical variable binding library for Rust |
| 3F/LuNari |
36 |
|
0 |
1 |
almost 5 years ago |
4 |
December 20, 2019 |
0 |
mit |
C# |
| 🗦🌔 Lua for .NET :: Lua 5.4, 5.3, 5.2, 5.1, ... |
| stupacki/MultiFunctions |
25 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
apache-2.0 |
Kotlin |
| PolymerAWS/polymeraws |
22 |
|
0 |
0 |
over 8 years ago |
0 |
September 11, 2017 |
4 |
mit |
HTML |
| Polymer Web Components for AWS |
