bridgethemasterbuilder Goto Github PK

alex

A lexical analyser generator for Haskell

community

Voice command set for Talon, community-supported.

containers

Assorted concrete container types

coqfmt

Coq code formatter

dune-coq-extraction-template

heji-ly

iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

mlsat

Pure functional SAT solver written in OCaml

neothue

An interpreter for Neothue, a dialect of the Thue metalanguage

nes

An emulator for the Nintendo Entertainment System written in Rust

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

pcsx2

PCSX2 - The Playstation 2 Emulator

portmidi

OCaml bindings to libportmidi, a cross-platform MIDI library

portscout

A tool which looks for new versions of software in the FreeBSD ports tree

psq

Functional Priority Search Queues for OCaml

pulsa-mobile

Mobile app for the Pulsa social media platform

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.

synthesizer

A digital synthesizer for playing 31-limit microtonal music

tiger

An x86-64 compiler for the Tiger programming language written in OCaml

vericaeser

Formally verified Caeser cipher written in Rocq/Coq