☆57Jul 21, 2025Updated 11 months ago
Alternatives and similar repositories for qdbp
Users that are interested in qdbp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 7 years ago
- The Nox programming language☆31Jul 20, 2023Updated 3 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 4 years ago
- Fast, simplified WAM-based Prolog system☆26Oct 30, 2025Updated 8 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 9 months ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- A SUBLEQ macro assembler☆13Jul 5, 2020Updated 6 years ago
- OpenType font decoder for OCaml☆20May 20, 2024Updated 2 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- A CLI to convert PNG images to Box2D shape data☆10Sep 2, 2021Updated 4 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 7 years ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated last year
- A high-performance server for Irmin☆24Oct 1, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Render boxes in the terminal with OCaml or Reason☆25Dec 4, 2025Updated 7 months ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 4 years ago
- Moved to https://git.jeffas.net☆16Apr 8, 2019Updated 7 years ago
- Synth audio worklets☆11May 26, 2025Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆70Nov 17, 2025Updated 8 months ago
- wavepot on the terminal☆13Sep 21, 2016Updated 9 years ago
- GIF's LZW compression/decompression done in Godot.☆16Aug 5, 2020Updated 5 years ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆24May 14, 2025Updated last year
- A GUI for tagging and managing document metadata for books, textbooks, or articles.☆18Jun 16, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 6 months ago
- CLI program for generating audio files☆16Mar 18, 2025Updated last year
- Switch GHC and Cabal quickly on PowerShell☆21Jun 21, 2026Updated 3 weeks ago
- Take real data from several OpenData providers and create your own 3D world. The focus lies on public transport. You can manage and creat…☆14Jan 10, 2018Updated 8 years ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆28May 15, 2024Updated 2 years ago
- An opiniated file-system for MirageOS☆26May 31, 2025Updated last year
- An OpenType font format encoder & decoder written in OCaml☆21Apr 12, 2026Updated 3 months ago
- Very simple gzip library for OCaml☆25May 19, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SciTE Context Menu Extension☆14Jan 29, 2021Updated 5 years ago
- Minimal HTTP server implementation written in C☆21Aug 16, 2025Updated 11 months ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 9 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Source code for the Microsoft Comic Chat IRC client, with the AI slop removed☆16Updated this week
- A server for the forester tool☆19Dec 10, 2024Updated last year