Entish is a declarative Datalog-like language for formal RPG rules
☆93Sep 6, 2021Updated 5 years ago
Alternatives and similar repositories for entish
Users that are interested in entish 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 vscode extension for fast app publishing powered by IPFS ⚡️☆13Mar 4, 2023Updated 3 years ago
- UCAN-over-HTTP-Header Specification☆15Aug 23, 2023Updated 3 years ago
- Automagic scheduling of a convention☆13Dec 28, 2018Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Lobsters IRC bot☆17Jul 13, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pure-Python HTML generation☆15Apr 12, 2021Updated 5 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- ☆17Jan 14, 2014Updated 12 years ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆22Sep 22, 2025Updated 11 months ago
- a complex turn-based Cold War geopolitical simulation game for Windows, OS X and GNU/Linux☆14Oct 14, 2017Updated 8 years ago
- Tupelo reference signer implementation☆14Sep 29, 2020Updated 5 years ago
- Using z3's never been easier (maybe)☆102Jan 26, 2022Updated 4 years ago
- Tool to wait until a database is up and responding to a query☆17Aug 24, 2026Updated last week
- Modern line-oriented terminal emulator without support for TUIs☆18Apr 7, 2022Updated 4 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.
- ☆19Sep 18, 2021Updated 4 years ago
- Powerful test runner for clojure☆10Nov 25, 2011Updated 14 years ago
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated last year
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- Convert OCaml Types between different major versions☆15May 23, 2022Updated 4 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 3 years ago
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated 2 years ago
- ☆12Mar 15, 2021Updated 5 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 Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- A monadic library for creating synthesizers in OCaml.☆39Jan 10, 2026Updated 7 months ago
- Linked Data Capabilities reference implementation☆29May 22, 2025Updated last year
- ☆20Feb 10, 2026Updated 6 months ago
- A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Dec 18, 2023Updated 2 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Converts a crontab time spec into human(ish) text☆24Apr 15, 2025Updated last year
- Static site generator☆12Apr 6, 2025Updated last year
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 4 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.
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- PonyTown Client For Windows☆13Sep 19, 2016Updated 9 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Hosting platform for TIddlyWikis.☆17Nov 4, 2024Updated last year
- ☆10Apr 19, 2023Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- ☆37Mar 16, 2026Updated 5 months ago