ephel-lang / ephelLinks
Language mixing functional programming and Ambient Calculus
☆10Updated 6 months ago
Alternatives and similar repositories for ephel
Users that are interested in ephel are comparing it to the libraries listed below
Sorting:
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆27Updated 6 months ago
- Framework for benchmarking on multiple cores on current-bench☆13Updated last week
- Lower-Kinded Optics for OCaml☆23Updated 3 months ago
- A Framework for building Batched Concurrent Services☆21Updated last month
- multi-shot continuations in OCaml☆48Updated 4 months ago
- Relational database programming for OCaml (unreleased)☆40Updated 3 months ago
- Declarative JSON data manipulation for OCaml☆20Updated last month
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 10 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated last week
- 🔙 Backward lists for OCaml☆22Updated 8 months ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆46Updated 6 years ago
- Simple, existential optics library for OCaml☆16Updated 2 years ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- A library to write web server and site☆23Updated this week
- Algebraic structures in OCaml.☆24Updated 3 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- Build OCaml projects with Nix.☆57Updated 3 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- ☆50Updated last week
- A scheduler independent blocking mechanism☆17Updated last year
- A library with an encoding of higher kinded types in OCaml☆40Updated 2 weeks ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆14Updated last week
- Heterogeneously-typed lists for OCaml☆12Updated 3 years ago
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆43Updated 8 months ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- PBT testsuite and libraries for testing multicore OCaml☆40Updated last week
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated 2 years ago
- Binding OCaml for NodeJS (main functions) using gen_js_api☆20Updated 8 years ago