All Git Users → Robbepop

5 open source projects by Robbepop

[ Open user page on Github ]

1. String Interner

A data structure to efficiently intern, cache and restore strings.

✭ 60

rust storage mapping string datastructures

A simple neural net implementation.

✭ 40

rust learning deep-learning network prophet neural

3. modular-bitfield

Macro to generate bitfields for structs that allow for modular use of enums.

✭ 96

Arbitrary precision integers library.

✭ 23

rust utility emulation arbitrary-precision integers

A simple (unfinished) SMT solver for QF_ABV.

✭ 30

rust symbolic-execution smtlibv2 bitvector smt decision-procedure

1-5 of 5 user projects