dyaso / klein-ported-to-rust
Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
☆16Updated 3 years ago
Related projects: ⓘ
- Neat 3D math and graphics library☆32Updated last year
- A robust and generalized library for Geometric Algebra in Rust☆20Updated 2 years ago
- Experimental type-safe geometric algebra for Rust☆49Updated last year
- Generate(d) custom libraries for geometric algebras☆44Updated 4 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆31Updated 3 weeks ago
- Generate bindings for Futhark☆37Updated last year
- TypeScript Geometric Algebra Generator☆12Updated 7 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Propositional logic with exponentials☆15Updated last month
- Dual Number library for Rust☆17Updated 3 years ago
- Typed λ-calculus in Rust☆28Updated last year
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- A proof of concept automatic differentiation library for Rust☆23Updated 6 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆25Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 4 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Safe and idiomatic Julia bindings for Rust☆26Updated last year
- ☆10Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 3 years ago
- Flexible and modular framework for different NP-Problems with different solvers☆20Updated last week
- Geograms robust predicates in rust via cxx.☆12Updated 2 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Fungi: Typed incremental computation with names☆66Updated 4 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 6 months ago
- ☆28Updated this week