jsmith628 / wedged
A robust and generalized library for Geometric Algebra in Rust
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for wedged
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Neat 3D math and graphics library☆32Updated last year
- Type-Level Programming in Rust☆26Updated 2 years ago
- Propositional logic with exponentials☆15Updated 3 months ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Experimental type-safe geometric algebra for Rust☆51Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Arena allocator with scopes☆43Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Macros have types!☆130Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- ☆24Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆52Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- We have Crater At Home☆20Updated 3 weeks ago
- ☆32Updated 2 years ago
- An experimental project to create an interactive programming language.☆16Updated this week
- A toy incremental computation framework☆15Updated 3 years ago
- A lean, minimal, and stable set of types for color interoperation between crates in Rust.☆19Updated 2 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Typed λ-calculus in Rust☆28Updated last year
- Generate(d) custom libraries for geometric algebras☆46Updated 6 months ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆15Updated 6 months ago
- Propositional logic with types in Rust☆60Updated last year
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago