ephel-lang / ephelLinks
Language mixing functional programming and Ambient Calculus
☆10Updated 5 months ago
Alternatives and similar repositories for ephel
Users that are interested in ephel are comparing it to the libraries listed below
Sorting:
- Lower-Kinded Optics for OCaml☆23Updated 2 months ago
- A Framework for building Batched Concurrent Services☆21Updated 2 weeks ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆27Updated 5 months ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆11Updated 6 months ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- A program launcher for Wayland☆14Updated last year
- Property-based testing at ease☆42Updated 3 years ago
- Declarative JSON data manipulation for OCaml☆19Updated 3 weeks ago
- Asynchronous effect based IO☆32Updated 4 years ago
- OCaml notebooks as a WebComponent☆22Updated 3 weeks ago
- Framework for benchmarking on multiple cores on current-bench☆13Updated 3 weeks ago
- multi-shot continuations in OCaml☆48Updated 3 months ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated 2 years ago
- ☆11Updated last month
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago
- Convert Markdown and YAML Data to OCaml Modules☆17Updated 2 years ago
- Relational database programming for OCaml (unreleased)☆40Updated 3 months ago
- A pure OCaml library for working with terminals☆29Updated last year
- ☆51Updated this week
- PBT testsuite and libraries for testing multicore OCaml☆40Updated this week
- An ocaml library for manipulating diffs.☆19Updated last year
- Type-level rational puzzles in OCaml☆24Updated 8 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated 2 weeks ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- A type-safe, stack-based functional programming language☆16Updated 3 months ago
- macOS bindings to the FSEvents API☆18Updated 10 months ago
- A Boulder Dash clone in OCaml☆35Updated 4 months ago
- Declarative command-line parsing for OCaml☆13Updated this week
- OCaml bindings to Minisat☆12Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago