jsmith628 / wedgedLinks
A robust and generalized library for Geometric Algebra in Rust
☆25Updated 3 years ago
Alternatives and similar repositories for wedged
Users that are interested in wedged are comparing it to the libraries listed below
Sorting:
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Experimental type-safe geometric algebra for Rust☆57Updated 2 years ago
- Neat 3D math and graphics library☆33Updated 2 years ago
- WLambda - Embeddable Scripting Language for Rust☆54Updated 4 months ago
- A #[no_std] LinAlg library☆53Updated 4 years ago
- ☆24Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Conway-Hart Polyhedron Notation in Rust☆78Updated last month
- HSLUV implementation in Rust☆29Updated 4 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- exhaustive testing library☆65Updated last year
- Arena allocator with scopes☆44Updated 2 years ago
- Macros have types!☆131Updated 2 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- 3D simulation for a flock of boids in Rust☆29Updated 3 years ago
- ☆80Updated 2 years ago
- Procedural macros for working with Vulkan shaders☆43Updated last month
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 6 months ago
- Physically based rendering in Rust☆37Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Propositional logic with exponentials☆22Updated 2 weeks ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆116Updated 5 years ago
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- a pragmatic point-free theorem prover assistant☆142Updated 3 weeks ago
- dirty toolkit☆20Updated 4 years ago
- Helps you frob those bits☆40Updated last year
- A library for creating and using anonymous sum types as errors in Rust☆18Updated 4 years ago