Alternatives and similar repositories for ccl:

Users that are interested in ccl are comparing it to the libraries listed below

• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆192Updated 3 weeks ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆109Updated 3 months ago
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆225Updated last year
• uds-psl / Prog
  ☆82Updated 3 years ago
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆226Updated this week
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆229Updated last week
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆311Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 2 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆125Updated 3 weeks ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆402Updated this week
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆122Updated 3 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆216Updated this week
• ocaml-wasm / wasm_of_ocaml
  ☆264Updated last month
• ocaml-multicore / eio
  Effects-based direct-style IO for multicore OCaml
  ☆591Updated last month
• JasonSteving99 / claro-lang
  Claro Lang
  ☆141Updated 10 months ago
• leostera / minttea
  A fun little TUI framework for OCaml
  ☆389Updated 6 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆239Updated 2 months ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆422Updated 3 weeks ago
• roc-lang / basic-cli
  A basic Command-Line Interface platform
  ☆97Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 5 months ago
• SaberVM / SaberVM
  ☆204Updated 8 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆903Updated this week
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
  ☆241Updated last week
• yawaramin / dream-html
  Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
  ☆175Updated 3 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆294Updated 4 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆69Updated 2 months ago
• cull-os / carcass
  The Cull monorepository.
  ☆67Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆99Updated last week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆166Updated 3 years ago