☆93Feb 5, 2022Updated 4 years ago
Alternatives and similar repositories for Prog
Users that are interested in Prog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modeling and Proving in Computational Type Theory☆125Aug 11, 2026Updated 2 weeks ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Let's write some Advent of Code in OCaml☆16Nov 28, 2023Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆136Dec 20, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- A unifying framework for linear temporal logics in Lean☆18Nov 7, 2025Updated 9 months ago
- A RISC-V assembler library for Scala/Chisel HDL projects☆16Updated this week
- ☆63Jan 30, 2026Updated 7 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆81Jan 20, 2022Updated 4 years ago
- CS6868: Concurrent Programming☆91May 18, 2026Updated 3 months ago
- Semantic Type Soundness in Lean 4☆18Jul 28, 2026Updated last month
- Implementation of refactoring for cuis☆12Updated this week
- 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.
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 6 months ago
- ☆19Feb 16, 2026Updated 6 months ago
- Serialization framework for OCaml☆183Oct 1, 2024Updated last year
- Small shell script to install and update Gauche Scheme easily☆17May 6, 2026Updated 3 months ago
- A simple scheduler for OCaml 5☆143Updated this week
- Computational Group Theory in Scala. It's Scala permuted!☆23Mar 19, 2019Updated 7 years ago
- ☆234Jul 30, 2024Updated 2 years ago
- A fun little TUI framework for OCaml☆473Mar 18, 2026Updated 5 months ago
- A garden of small programming language implementations 🪴☆329Updated this week
- 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.
- Raku environment manager☆30Nov 13, 2025Updated 9 months ago
- Batch conversion of TTF/OTF fonts to Postscript Type1 files for easy usage with the Lout typesetting system ⚠️ This repo has moved to htt…☆14Aug 17, 2026Updated last week
- Minimalist OCaml library for command line parsing☆32Oct 7, 2020Updated 5 years ago
- The very first version of the original vi (version 1.1 released on January 1, 1978 on 1BSD)☆13Jun 19, 2020Updated 6 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆28Jul 26, 2026Updated last month
- The Dao of Functional Programming☆547Apr 28, 2026Updated 4 months ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆27Mar 25, 2022Updated 4 years ago
- Pretty-printing library for OCaml☆44Jun 4, 2022Updated 4 years ago
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆931Aug 13, 2026Updated 2 weeks 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.
- Direct-style parser combinator library for OCaml 5☆55Apr 15, 2026Updated 4 months ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- A Lean4 plugin for the Intellij Platform☆25Mar 27, 2026Updated 5 months ago
- Some experiments with SMT solvers and GIMPLE IR☆81Updated this week
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 3 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 3 years ago
- ☆14Feb 2, 2024Updated 2 years ago