A language for writing and checking precise descriptions of things.
☆95Oct 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for pantagruel
Users that are interested in pantagruel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Janet bindings for GitHub's fork of cmark☆18Nov 23, 2025Updated 11 months ago
- Clojure bindings for Hegel, a property-based testing system.☆11Oct 9, 2026Updated 3 weeks ago
- The LFE MACHINE MANUAL☆24Jun 30, 2026Updated 4 months ago
- A place to grow software.☆14Sep 12, 2026Updated last month
- an ersatz lisp for tiny birds. a code riff.☆43Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆24Jun 26, 2024Updated 2 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆16Apr 4, 2022Updated 4 years ago
- Almost-extensible effects for Elixir.☆27Aug 9, 2016Updated 10 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆42Dec 14, 2023Updated 2 years ago
- Typed Clojure in your editor.☆18May 8, 2026Updated 5 months ago
- Clustering library for Elixir☆12Jul 9, 2017Updated 9 years ago
- ☆17Nov 7, 2021Updated 4 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- ☆12May 22, 2016Updated 10 years ago
- A Static Site Generator☆89Apr 4, 2026Updated 6 months ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- A Language a Day☆14Nov 1, 2025Updated 11 months ago
- A reverse literate programming tool.☆16Jun 26, 2024Updated 2 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 7 years ago
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A community documentation site for the janet programming language☆39Jul 22, 2022Updated 4 years ago
- The Clex Elixir package wraps the excellent Erlang NIF provided by tonyrog/cl☆14Apr 25, 2019Updated 7 years ago
- Naively-evaluated Datalog, implemented in Elixir☆34Sep 12, 2024Updated 2 years ago
- A collection of random tools for gamedev.☆17Jul 9, 2024Updated 2 years ago
- A fully spec-compliant, idiomatic Clojure implementation of Art-Net 4, providing correct DMX512 over IP with deterministic behavior, pred…☆11Apr 9, 2026Updated 6 months ago
- The very simple ETS wrapper simplifying cross-process ETS handling (like `Agent`, but `:ets`).☆13Jun 7, 2019Updated 7 years ago
- A set of function to deal with analytical formulae.☆17Jun 12, 2025Updated last year
- A tool for reducing CI times by finding minimal test set based on code analysis.☆10Sep 28, 2026Updated last month
- Program logic for developing and verifying distributed systems☆39Apr 29, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆231Apr 4, 2026Updated 6 months ago
- Partition testing tool for elixir☆73Mar 30, 2023Updated 3 years ago
- Bare words SQL macro for Clojure☆33Nov 30, 2023Updated 2 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- A Clojure library to handle HTTP communication over UNIX domain (and TCP) sockets☆23Oct 9, 2023Updated 3 years ago
- Zig library to connect Janet and Zig together☆66Sep 6, 2026Updated last month
- A Datalog-style database that enables programmers to represent facts using natural language☆53Feb 9, 2023Updated 3 years ago