Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics metaprogramming
mathematics
x
metaprogramming
x
1 search results found
Paperproof
⭐
256
Lean theorem proving interface which feels like pen-and-paper proofs.
Reduce.jl
⭐
202
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
Gas
⭐
19
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Stator
⭐
15
A compile-time Computer Algebra System (CAS) library (with some geometry)
Z_
⭐
9
An Easy-to-use Framework for the C Language.
Related Searches
Javascript Mathematics (1,108)
Typescript Mathematics (301)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.