Set Theory
4 projects
Showing 4 of 4 projects
Math as code
A cheat-sheet that translates mathematical notation into JavaScript code examples for developers.
#mathematics#education#game-development
Stars15.5k
Forks1.1k
Last commit4 years ago
EulerSwift
A Swift library providing custom operators for mathematical notation, enabling code that resembles traditional math symbols.
#mathematics#calculus#operator
Stars1.1k
Forks58
Last commit5 years ago
GaiaRocq Prover
A Coq formalization of Bourbaki's Elements of Mathematics, covering set theory and number theory using the Mathematical Components library.
#bourbaki#mathematics#coq
Stars31
Forks7
Last commit3 months ago
regex-utilsTypeScript
A TypeScript library for regex set operations like equivalence checking, intersection, complement, and string generation.
#regex-complement#regex#formal-languages
Stars29
Forks1
Last commit15 days ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.