Pinned Repositories
alex
A lexical analyser generator for Haskell
community
Voice command set for Talon, community-supported.
containers
Assorted concrete container types
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
heji-ly
neothue
An interpreter for Neothue, a dialect of the Thue metalanguage
nes
An emulator for the Nintendo Entertainment System written in Rust
pulsa-mobile
Mobile app for the Pulsa social media platform
synthesizer
A digital synthesizer for playing 31-limit microtonal music
tiger
An x86-64 compiler for the Tiger programming language written in OCaml
BridgeTheMasterBuilder's Repositories
BridgeTheMasterBuilder/nes
An emulator for the Nintendo Entertainment System written in Rust
BridgeTheMasterBuilder/heji-ly
BridgeTheMasterBuilder/neothue
An interpreter for Neothue, a dialect of the Thue metalanguage
BridgeTheMasterBuilder/tiger
An x86-64 compiler for the Tiger programming language written in OCaml
BridgeTheMasterBuilder/pulsa-mobile
Mobile app for the Pulsa social media platform
BridgeTheMasterBuilder/synthesizer
A digital synthesizer for playing 31-limit microtonal music
BridgeTheMasterBuilder/alex
A lexical analyser generator for Haskell
BridgeTheMasterBuilder/community
Voice command set for Talon, community-supported.
BridgeTheMasterBuilder/containers
Assorted concrete container types
BridgeTheMasterBuilder/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
BridgeTheMasterBuilder/coqfmt
Coq code formatter
BridgeTheMasterBuilder/dune-coq-extraction-template
BridgeTheMasterBuilder/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
BridgeTheMasterBuilder/mlsat
Pure functional SAT solver written in OCaml
BridgeTheMasterBuilder/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
BridgeTheMasterBuilder/pcsx2
PCSX2 - The Playstation 2 Emulator
BridgeTheMasterBuilder/portmidi
OCaml bindings to libportmidi, a cross-platform MIDI library
BridgeTheMasterBuilder/portscout
A tool which looks for new versions of software in the FreeBSD ports tree
BridgeTheMasterBuilder/psq
Functional Priority Search Queues for OCaml
BridgeTheMasterBuilder/RE-flex
The regex-centric, fast lexical analyzer generator for C++ with full Unicode support. Faster than Flex. Accepts Flex specifications. Generates reusable source code that is easy to understand. Introduces indent/dedent anchors, lazy quantifiers, functions for lex/syntax error reporting and more. Seamlessly integrates with Bison and other parsers.
BridgeTheMasterBuilder/vericaeser
Formally verified Caeser cipher written in Rocq/Coq