dyaso / klein-ported-to-rustLinks
Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
☆16Updated 4 years ago
Alternatives and similar repositories for klein-ported-to-rust
Users that are interested in klein-ported-to-rust are comparing it to the libraries listed below
Sorting:
- Neat 3D math and graphics library☆32Updated 2 years ago
- A robust and generalized library for Geometric Algebra in Rust☆24Updated 2 years ago
- Geometric algebra library for Rust☆22Updated 6 years ago
- Experimental type-safe geometric algebra for Rust☆56Updated last year
- Generate(d) custom libraries for geometric algebras☆48Updated last year
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Geograms robust predicates in rust via cxx.☆14Updated 3 weeks ago
- The Pulse separation logic DSL for F*☆16Updated this week
- Type-Level Programming in Rust☆27Updated 3 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- Propositional logic with exponentials☆20Updated 3 weeks ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Typed λ-calculus in Rust☆29Updated last year
- Lean 4 as a scripting language in Houdini☆20Updated last year
- A Rust implementation of interval arithmetic (IEEE 1788)☆39Updated 4 months ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Synless is a language-agnostic tree editor.☆21Updated last month
- ☆58Updated last month
- dependent type theory experiment☆26Updated last year
- ☆13Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Template for Lean<->Rust FFI☆12Updated last year
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago