An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
☆15Dec 19, 2020Updated 5 years ago
Alternatives and similar repositories for kekka
Users that are interested in kekka are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- GRPC implementation in OCaml☆25Mar 13, 2022Updated 4 years ago
- A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]☆21May 21, 2020Updated 6 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- compiler libraries repackaged☆21Jan 4, 2024Updated 2 years ago
- OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/☆25Feb 7, 2022Updated 4 years ago
- A functional programming language with polymorphic algebraic effects, handlers, and signature restriction☆13Jun 27, 2020Updated 6 years ago
- a solver for opam packages using 0install's solver engine☆23May 5, 2026Updated 5 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Mar 14, 2023Updated 3 years ago
- A work-in-progress OCaml client for Sentry☆27Aug 12, 2022Updated 4 years ago
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- JWTs for OCaml☆29Oct 1, 2021Updated 5 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An OCaml library for describing Protobuf messages☆30Feb 4, 2021Updated 5 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 7 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 5 years ago
- trial at reviving the ancient library☆11Aug 13, 2026Updated 2 months ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- OCaml library for reporting metrics to a Prometheus server☆53Aug 22, 2026Updated 2 months ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 6 years ago
- Official OCaml port of Sqids. Generate short unique IDs from numbers.☆13Feb 10, 2024Updated 2 years ago
- Index your filesystem to find duplicates☆13Mar 28, 2019Updated 7 years ago
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 9 years ago
- [unreleased] A parser and generator library for a simple subset of YAML in pure OCaml☆13Dec 10, 2018Updated 7 years ago
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 9 years ago
- Elastic OCaml APM provides an OCaml library for uploading traces, transactions and errors to Elastic APM.☆14Aug 8, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- File paths for OCaml☆29Jul 29, 2025Updated last year
- OCaml + Fly.io☆11Updated this week
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated this week
- This is a repo that can be cloned to get started quickly with Sihl.☆14Aug 10, 2021Updated 5 years ago
- Ocaml bindings to Argon2☆33Aug 1, 2024Updated 2 years ago
- Multiparty Session Types in OCaml☆62Nov 1, 2024Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year