Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

dimacs parser sat

Last synced: 15 Nov 2024

https://github.com/robbepop/clpp

A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.

cplusplus cpp modern open-cl opencl wrapper

Last synced: 22 Dec 2024

https://github.com/robbepop/cnf-parser

Efficient and customizable CNF parser for SAT solving.

cnf-clauses parser sat-solver

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