A functional fluent API generator
☆36Dec 30, 2022Updated 3 years ago
Alternatives and similar repositories for flunct
Users that are interested in flunct are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- A fluent API generator☆27Jan 26, 2026Updated 9 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A clean implementation of Parsing with Zippers.☆39Sep 22, 2018Updated 8 years ago
- Example project using esy and reason☆11Sep 23, 2022Updated 4 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- ☆11Feb 25, 2025Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Sep 25, 2026Updated last month
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- ☆11May 2, 2013Updated 13 years ago
- ☆24Feb 1, 2012Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 4 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- Fluent API generator☆42Jan 23, 2026Updated 9 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- "Structured programming" macros for Gnu Assembler (gas)☆17Feb 23, 2026Updated 8 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated last year
- This installation helper makes it even easier to install a copy of the CLHS locally. (ql:quickload "clhs").☆13May 11, 2025Updated last year
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- 🔍 Code Search Tools & Experiments☆13Oct 21, 2026Updated 2 weeks ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 11 years ago
- ☆16Feb 18, 2025Updated last year
- Hygiene-compatible Lisp dialect embedded in CL☆21Dec 2, 2023Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 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.
- The ColdCore system for use with Genesis.☆11Jan 10, 2025Updated last year
- Binding to CRlibm☆14Jul 25, 2023Updated 3 years ago
- Intrinsic Verification of Formal Grammar Theory☆29Aug 4, 2026Updated 3 months ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- s-expression codecs and updates for OCaml☆12Mar 23, 2017Updated 9 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆16Feb 27, 2024Updated 2 years ago