bodil / simdifyLinks
SIMD optimised algorithms and data types
☆18Updated 6 years ago
Alternatives and similar repositories for simdify
Users that are interested in simdify are comparing it to the libraries listed below
Sorting:
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- ☆49Updated 3 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- Simple, Erlang-inspired fault-tolerance framework for Rust Futures.☆130Updated 4 years ago
- A set of tools for working with datafrog☆25Updated last month
- Lift enum variants to the type-level.☆32Updated 4 years ago
- ☆18Updated 5 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 6 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- Experiment to get k-combinations working as a const fn☆13Updated 4 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 4 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Extendable HPC-Framework for CUDA, OpenCL and common CPU☆87Updated 5 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- An experimental columnar arena☆43Updated 11 months ago
- ☆22Updated 6 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 9 months ago
- exhaustive testing library☆65Updated last year
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 5 months ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- A pushdown automaton low memory JSON bytes stream checker☆13Updated 3 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- ☆54Updated 5 years ago
- scraps of a potential language☆38Updated 4 years ago