CS6868: Concurrent Programming
☆95May 18, 2026Updated 5 months ago
Alternatives and similar repositories for cs6868_s26
Users that are interested in cs6868_s26 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13May 26, 2026Updated 5 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆66Nov 26, 2025Updated 11 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆22Oct 3, 2026Updated last month
- Benchmarking environment for http servers☆23Apr 6, 2026Updated 7 months ago
- Wob extended wtih effect handlers☆14Sep 25, 2023Updated 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.
- OCaml notebooks as a WebComponent☆58May 4, 2026Updated 6 months ago
- Direct-style parser combinator library for OCaml 5☆58Oct 29, 2026Updated last week
- clients for various social media APIs in continuation passing style☆12Oct 17, 2026Updated 3 weeks ago
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- Coinductive Interaction Trees in Lean4 using QPFs☆20Oct 18, 2026Updated 2 weeks ago
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆23Jun 18, 2026Updated 4 months ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 3 years ago
- PBT testsuite and libraries for testing multicore OCaml☆47Updated this week
- Keywords to Write Command Lines ~ Partial porcelain around Cmdliner☆13Mar 28, 2026Updated 7 months 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.
- Anil's OCaml Claude plugin collection☆38Sep 2, 2026Updated 2 months ago
- Language mixing functional programming and Ambient Calculus☆13Dec 10, 2024Updated last year
- A boringly simple configuration file☆12Jul 31, 2026Updated 3 months ago
- A TCP/IP implementation in pure OCaml☆20Oct 26, 2026Updated last week
- Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers…☆32Updated this week
- Command-line and Emacs Calendar Client☆24Aug 21, 2026Updated 2 months ago
- Structural search of OCaml code☆35Oct 5, 2026Updated last month
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆89Sep 5, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Audit your opam switch for vulnerable packages☆11Updated this week
- A radical OCaml build system☆130Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Fall 2025☆12Dec 3, 2025Updated 11 months ago
- ☆11Mar 8, 2025Updated last year
- The OCaml runtime ported from C to Rust☆15Jun 6, 2026Updated 5 months ago
- Examples of computing over encrypted or private data☆15Feb 15, 2026Updated 8 months ago
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.5.1 (with effect handlers), interpreter b…☆45Oct 13, 2026Updated 3 weeks ago
- ☆12Oct 31, 2026Updated last 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.
- HardCaml implementation of the OCaml ZINC Abstract Machine☆48Jan 5, 2020Updated 6 years ago
- A simple test framework for Ligo Lang☆13Mar 29, 2024Updated 2 years ago
- ☆15Aug 20, 2023Updated 3 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- Library for generalised parser combinators and a dedicated meta-language in Rust☆13Nov 15, 2025Updated 11 months ago
- A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries☆63Mar 6, 2023Updated 3 years ago