Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 20 Dec 2024
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: 09 Nov 2024
https://github.com/robbepop/modular-bitfield
Macro to generate bitfields for structs that allow for modular use of enums.
Last synced: 21 Dec 2024
https://github.com/robbepop/prophet
A simple neural net implementation.
deep-learning learning network neural prophet rust
Last synced: 29 Oct 2024
https://github.com/Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
bitvector decision-procedure smt smtlibv2 symbolic-execution
Last synced: 15 Nov 2024
https://github.com/robbepop/apint
Arbitrary precision integers library.
arbitrary-precision emulation integers utility
Last synced: 29 Oct 2024
https://github.com/Robbepop/apint
Arbitrary precision integers library.
arbitrary-precision emulation integers utility
Last synced: 19 Nov 2024
https://github.com/robbepop/enum-tag
Proc. macro to generate C-like `enum` tags.
Last synced: 29 Oct 2024
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: 15 Nov 2024
https://github.com/robbepop/cnf-parser
Efficient and customizable CNF parser for SAT solving.
Last synced: 15 Nov 2024
https://github.com/robbepop/bucket_vec
A vector-like collection that guarantees not to move its internal elements.
Last synced: 22 Dec 2024
https://github.com/robbepop/ipasir-rs
FFI bindings for the IPASIR incremental SAT solver interface.
Last synced: 15 Nov 2024