Projects in Awesome Lists by Robbepop
A curated list of projects in awesome lists by Robbepop .
https://github.com/robbepop/string-interner
A data structure to efficiently intern, cache and restore strings.
bidirectional datastructures interner interning mapping rust storage string
Last synced: 14 May 2025
https://github.com/Robbepop/string-interner
A data structure to efficiently intern, cache and restore strings.
bidirectional datastructures interner interning mapping rust storage string
Last synced: 22 Apr 2025
https://github.com/robbepop/modular-bitfield
Macro to generate bitfields for structs that allow for modular use of enums.
Last synced: 13 Apr 2025
https://github.com/robbepop/prophet
A simple neural net implementation.
deep-learning learning network neural prophet rust
Last synced: 25 Mar 2025
https://github.com/Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
bitvector decision-procedure smt smtlibv2 symbolic-execution
Last synced: 09 May 2025
https://github.com/Robbepop/apint
Arbitrary precision integers library.
arbitrary-precision emulation integers utility
Last synced: 16 May 2025
https://github.com/robbepop/apint
Arbitrary precision integers library.
arbitrary-precision emulation integers utility
Last synced: 25 Mar 2025
https://github.com/robbepop/enum-tag
Proc. macro to generate C-like `enum` tags.
Last synced: 25 Mar 2025
https://github.com/robbepop/runwell
An experimental WebAssembly virtual machine.
compiler interpreter virtual-machine wasm webassembly
Last synced: 16 Jul 2025
https://github.com/robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Last synced: 16 Oct 2025
https://github.com/robbepop/cnf-parser
Efficient and customizable CNF parser for SAT solving.
Last synced: 27 Dec 2025
https://github.com/robbepop/state_ptr
A pointer that allows to store state into unused bits of the address.
Last synced: 24 May 2026
https://github.com/robbepop/bucket_vec
A vector-like collection that guarantees not to move its internal elements.
Last synced: 24 Aug 2025
https://github.com/robbepop/cionc-old
The compiler front end for the Cion programming language.
Last synced: 21 May 2026
https://github.com/robbepop/wasm_kernel
A Wasm kernel for benchmarking wasmi.
Last synced: 23 May 2026
https://github.com/robbepop/ipasir-rs
FFI bindings for the IPASIR incremental SAT solver interface.
Last synced: 27 Dec 2025
https://github.com/robbepop/cnf-problems
A collection of CNF problems used for SAT solver benchmarks.
Last synced: 15 Mar 2026
https://github.com/robbepop/interpreter-dispatch-research
Some research on efficient interpreter instruction dispatch in Rust.
Last synced: 19 May 2026