Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Phobos | 1,164 | 3 months ago | 35 | September 12, 2023 | 94 | bsl-1.0 | D | |||
The standard library of the D programming language | ||||||||||
Egison | 859 | 2 | a year ago | 190 | December 18, 2021 | 18 | mit | Haskell | ||
The Egison Programming Language | ||||||||||
Towel | 573 | 2 years ago | 42 | October 29, 2021 | 9 | mit | C# | |||
Throw in the towel. | ||||||||||
Category Theory Programmers | 452 | 6 years ago | 2 | mit | ||||||
Category theory in the context of (functional) programming | ||||||||||
Dslsofmath | 387 | 3 months ago | 5 | bsd-3-clause | Haskell | |||||
Domain-Specific Languages of Mathematics | ||||||||||
Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
Disco | 153 | 4 months ago | 52 | other | Haskell | |||||
Functional teaching language for use in a discrete mathematics course | ||||||||||
Kotlindiscretemathtoolkit | 151 | 4 years ago | 5 | May 08, 2017 | 2 | Kotlin | ||||
Set of extensions for Kotlin that provides Discrete math functionalities | ||||||||||
Aardvark.base | 141 | 14 | 101 | 4 months ago | 381 | October 30, 2023 | 14 | apache-2.0 | C# | |
Aardvark.Base is the foundation of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization. | ||||||||||
Research Papers | 131 | 4 years ago | cc0-1.0 | |||||||
Awesome Research Papers |