Parser Combinators of Monad
☆40Nov 25, 2020Updated 5 years ago
Alternatives and similar repositories for parcoom
Users that are interested in parcoom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.☆51Jun 14, 2026Updated 4 months ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆33Nov 21, 2024Updated last year
- Conway's Game of Life in Nix Programming Language☆12May 31, 2020Updated 6 years ago
- Advent of Code 2019 solutions in Haskell☆12Jan 28, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- ppx extension for string interpolation☆34Jul 10, 2026Updated 3 months ago
- Open-source revenue recognition & analytics for Stripe and Metronome. Built by ex-Stripe engineers.☆20Oct 8, 2026Updated 3 weeks ago
- Bindings to curses/ncurses☆24Apr 5, 2026Updated 6 months ago
- logger-f, Logger for F[_]☆10Sep 27, 2026Updated last month
- Embedded Lisp☆71May 22, 2023Updated 3 years ago
- Path tracer live coded in stream☆22Aug 23, 2020Updated 6 years ago
- Some common algorithms and data structures implemented in the Scheme programming language.☆11Apr 27, 2022Updated 4 years ago
- A link to another website☆10Dec 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Q line editor and full-screen interface editor☆12May 16, 2021Updated 5 years ago
- Advent of Code 2025 done in Lean 4☆18Dec 12, 2025Updated 10 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- An opinionated production-ready PlayFramework template that makes you productive.☆25Oct 16, 2026Updated last week
- The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)☆21Dec 12, 2021Updated 4 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆26May 22, 2020Updated 6 years ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Lightweight global state management for PureScript Halogen using halogen-hooks.☆19Apr 12, 2025Updated last year
- Events, behaviors, and uneventful misbehaving☆18Apr 13, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tool to help discover ingredient effects in Skyrim☆14Apr 25, 2022Updated 4 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 12 years ago
- Package pour réaliser des cartes d'études et d'analyse☆12Jan 31, 2025Updated last year
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- Text diffing in zig☆14Feb 15, 2023Updated 3 years ago
- A Scheme to CPS to C compiler in Python☆13Sep 3, 2010Updated 16 years ago
- Doggo Browser☆12May 28, 2021Updated 5 years ago
- a better pattern matching macro for janet☆14Aug 4, 2024Updated 2 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.
- A style guide for OCaml☆118Nov 30, 2023Updated 2 years ago
- examples of how to get TSO panels to work with REXX☆16Oct 20, 2023Updated 3 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A TOML parser implementation in Racket.☆10Aug 19, 2019Updated 7 years ago
- Generation of comparison functions from types☆29Jul 10, 2026Updated 3 months ago
- Well... my dotfiles!☆14Sep 24, 2026Updated last month
- A flexible Haskell API for querying the GitHub REST API☆14Jan 7, 2026Updated 9 months ago