☆11Mar 16, 2016Updated 10 years ago
Alternatives and similar repositories for bddbddb
Users that are interested in bddbddb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Mar 16, 2016Updated 10 years ago
- SVG Navigator is an extension for Google Chrome that adds pan and zoom features to existing SVG files on the web.☆18Feb 25, 2025Updated last year
- Import of Adobe/Mozilla library for generating machine code to implement JIT compilers☆23Jan 18, 2011Updated 15 years ago
- Technology file parser in Rust☆13Apr 6, 2021Updated 4 years ago
- Project Usus Eclipse Plugins☆13Jan 4, 2018Updated 8 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Nov 11, 2025Updated 4 months ago
- FlowCutter submission to PACE 2016☆12Sep 20, 2016Updated 9 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- ☆14Jan 15, 2026Updated 2 months ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 15 years ago
- Template for 'mdbook' books with my preferences☆14Jan 21, 2026Updated 2 months ago
- ☆12Nov 7, 2025Updated 4 months ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Nov 6, 2022Updated 3 years ago
- Deterministic Regular Expressions with Backreferences☆20Oct 12, 2020Updated 5 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Haskell suite library for name resolution☆53Apr 9, 2025Updated 11 months ago
- A curated collection of CP/M software☆32May 5, 2025Updated 10 months ago
- Implementation of hashcash in Golang☆13Sep 14, 2018Updated 7 years ago
- Experimental FlowCutter Code☆13May 24, 2019Updated 6 years ago
- Scripts, tools and drivers for wardriving under Mac OSX☆14Dec 7, 2016Updated 9 years ago
- What happens if you take dependency injection and bake it into a programming language?☆13Jul 7, 2016Updated 9 years ago
- A prebuilt configuration for galaxyline inspired by airline☆30Feb 18, 2023Updated 3 years ago
- List of strange bugs☆15Mar 16, 2026Updated last week
- A (mostly) purely functional console-based esoteric language interpreter.☆13Oct 19, 2021Updated 4 years ago
- firrtlator is a FIRRTL C++ library☆23Dec 15, 2016Updated 9 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated this week
- This repository tracks the changes the the "Unix Timesharing System" paper written by Dennis Ritchie and Ken Thompson.☆11Oct 6, 2018Updated 7 years ago
- Brainf*ck interpreter☆13Mar 7, 2018Updated 8 years ago
- Angular2 component or directive for NVD3.js☆15Mar 30, 2017Updated 8 years ago
- Process output of John Walker's midicsv to get real-world timing information. Convert ticks to seconds.☆12Jun 24, 2020Updated 5 years ago
- Coq plugin for extracting Rust code☆19Mar 2, 2026Updated 3 weeks ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Blaze: a VT420 emulator☆30Jan 4, 2026Updated 2 months ago
- Ruby VM in pure Ruby☆28Apr 22, 2020Updated 5 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 years ago
- A port of Hamcrest to Rust☆18Dec 24, 2024Updated last year