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☆33Updated 2 years ago
- A robust and generalized library for Geometric Algebra in Rust☆25Updated 2 years ago
- Geometric algebra library for Rust☆22Updated 6 years ago
- Generate(d) custom libraries for geometric algebras☆48Updated last year
- Experimental type-safe geometric algebra for Rust☆56Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Lean 4 as a scripting language in Houdini☆20Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- Propositional logic with exponentials☆20Updated last month
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Safe and idiomatic Julia bindings for Rust☆28Updated 2 years ago
- Typed λ-calculus in Rust☆29Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆13Updated 4 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Template for Lean<->Rust FFI☆12Updated last year
- A WebAssembly implementation in Lean4☆34Updated last year
- Synless is a language-agnostic tree editor.☆21Updated 2 months ago
- Flexible and modular framework for different NP-Problems with different solvers☆22Updated 4 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- ☆13Updated 3 years ago
- The Pulse separation logic DSL for F*☆20Updated last week
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 2 months ago