Elementary-Affine-Type-Theor Alternatives
Similar projects and alternatives to Elementary-Affine-Type-Theor
-
constraints
An experiment in writing algebraic constraint solvers for 3D CAD (by Michael-F-Bryan)
-
Fornjot
The world needs another CAD program. (by WeirdConstructor)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
openscad
OpenSCAD - The Programmers Solid 3D CAD Modeller
-
fornjot
Early-stage b-rep CAD kernel, written in the Rust programming language.
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
Kind
Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)
-
CascadeStudio
A Full Live-Scripted CAD Kernel in the Browser
-
opencascade.js
Port of the OpenCascade CAD library to JavaScript and WebAssembly via Emscripten.
-
stepcode
STEPcode (formerly NIST's STEP Class Library) is used with IFC, STEP, and other standards that utilize the technologies of ISO10303 (STEP). It generates C++ and Python from EXPRESS (10303-11) schemas. The code is capable of reading and writing STEP Part 21 exchange files. It also utilizes Parts 22 and 23 (SDAI and its C++ binding).
-
-
Elementary-Affine-Type-Theory-legacy
Minimal, efficient proof language
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives