| dlang/phobos |
1,164 |
|
0 |
0 |
about 2 years ago |
35 |
September 12, 2023 |
94 |
bsl-1.0 |
D |
| The standard library of the D programming language |
| egison/egison |
859 |
|
2 |
0 |
over 3 years ago |
190 |
December 18, 2021 |
18 |
mit |
Haskell |
| The Egison Programming Language |
| ZacharyPatten/Towel |
573 |
|
0 |
0 |
over 3 years ago |
42 |
October 29, 2021 |
9 |
mit |
C# |
| Throw in the towel. |
| jwbuurlage/category-theory-programmers |
452 |
|
0 |
0 |
about 8 years ago |
0 |
|
2 |
mit |
|
| Category theory in the context of (functional) programming |
| DSLsofMath/DSLsofMath |
387 |
|
0 |
0 |
about 2 years ago |
0 |
|
5 |
bsd-3-clause |
Haskell |
| Domain-Specific Languages of Mathematics |
| glebec/lambda-talk |
246 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
mit |
JavaScript |
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS |
| disco-lang/disco |
153 |
|
0 |
0 |
over 2 years ago |
0 |
|
52 |
other |
Haskell |
| Functional teaching language for use in a discrete mathematics course |
| MarcinMoskala/KotlinDiscreteMathToolkit |
151 |
|
0 |
0 |
almost 6 years ago |
5 |
May 08, 2017 |
2 |
|
Kotlin |
| Set of extensions for Kotlin that provides Discrete math functionalities |
| aardvark-platform/aardvark.base |
141 |
|
30 |
113 |
over 2 years ago |
412 |
January 14, 2026 |
14 |
apache-2.0 |
C# |
| Aardvark.Base is the foundation of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization. |
| learn-anything/research-papers |
131 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
cc0-1.0 |
|
| Awesome Research Papers |
