Elementary-Affine-Type-Theor
By VictorTaelin
Elementary-Affine-Type-Theory-legacy
Minimal, efficient proof language (by VictorTaelin)
Our great sponsors
Elementary-Affine-Type-Theor | Elementary-Affine-Type-Theory-legacy | |
---|---|---|
1 | 1 | |
- | 14 | |
- | - | |
- | 10.0 | |
- | almost 5 years ago | |
JavaScript | ||
- | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Elementary-Affine-Type-Theor
Posts with mentions or reviews of Elementary-Affine-Type-Theor.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-09.
Elementary-Affine-Type-Theory-legacy
Posts with mentions or reviews of Elementary-Affine-Type-Theory-legacy.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-09.
What are some alternatives?
When comparing Elementary-Affine-Type-Theor and Elementary-Affine-Type-Theory-legacy you can also consider the following projects:
constraints - An experiment in writing algebraic constraint solvers for 3D CAD
truck - Truck is a Rust CAD Kernel.
Fornjot - The world needs another CAD program.
CascadeStudio - A Full Live-Scripted CAD Kernel in the Browser
openscad - OpenSCAD - The Programmers Solid 3D CAD Modeller
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
arcs
arcade - A rust CAD engine (NURBS kernel)
ruststep - A STEP toolkit for Rust
Elementary-Affine-Type-Theor vs constraints
Elementary-Affine-Type-Theory-legacy vs truck
Elementary-Affine-Type-Theor vs Fornjot
Elementary-Affine-Type-Theory-legacy vs Fornjot
Elementary-Affine-Type-Theor vs truck
Elementary-Affine-Type-Theory-legacy vs CascadeStudio
Elementary-Affine-Type-Theor vs openscad
Elementary-Affine-Type-Theory-legacy vs Kind
Elementary-Affine-Type-Theor vs arcs
Elementary-Affine-Type-Theory-legacy vs arcs
Elementary-Affine-Type-Theor vs arcade
Elementary-Affine-Type-Theor vs ruststep