dyaso / klein-ported-to-rustLinks
Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
☆16Updated 5 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:
- A robust and generalized library for Geometric Algebra in Rust☆27Updated 3 weeks ago
- Neat 3D math and graphics library☆37Updated 2 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Experimental type-safe geometric algebra for Rust☆58Updated 2 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 4 months ago
- Type-Level Programming in Rust☆27Updated 4 years ago
- Generate(d) custom libraries for geometric algebras☆54Updated last year
- Propositional logic with exponentials☆23Updated last week
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Updated 7 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 10 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆45Updated 11 months ago
- Dual Number library for Rust☆17Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Generate bindings for Futhark☆40Updated 2 years ago
- Typed λ-calculus in Rust☆30Updated 2 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 3 years ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21Updated 8 months ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 9 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 4 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A Rust/WASM implementation of homotopy.io☆110Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- A Rust hashconsing library.☆38Updated last year
- Futhark integration for Rust projects☆16Updated 4 months ago
- A compute library written in Rust with WebGPU☆18Updated 4 years ago
- Conway-Hart Polyhedron Notation in Rust☆79Updated last week