Transductive regular expressions
☆257Sep 25, 2025Updated 10 months ago
Alternatives and similar repositories for trre
Users that are interested in trre are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆270Apr 4, 2024Updated 2 years ago
- ☆114Apr 17, 2026Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆141Feb 5, 2026Updated 6 months ago
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 3 years ago
- ☆136Aug 11, 2025Updated last year
- 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.
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated last year
- A little library of bit-based data structures.☆22Jun 6, 2026Updated 2 months ago
- Programming and interaction language. Flexible about syntax, strict about state.☆701Aug 6, 2026Updated last week
- Brzozowski derivative python sketch☆86Apr 3, 2025Updated last year
- ☆12Mar 18, 2022Updated 4 years ago
- An experiment in hermetic, reproducible build systems☆405Updated this week
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Apr 3, 2023Updated 3 years ago
- a Chrome extension that removes "[company] is hiring" ads on https://news.ycombinator.com/.☆18Oct 3, 2023Updated 2 years ago
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆361May 21, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Minimal Clojure-like interpreter with FEXPRs☆16Sep 17, 2012Updated 13 years ago
- Visual tool to explore SQLite databases page-by-page, the way they're stored on disk and the way SQLite sees them.☆639Dec 9, 2024Updated last year
- Malyon for Emacs - Malyon is a Z-machine interpreter for playing text-based adventure games such as Zork.☆24May 15, 2017Updated 9 years ago
- A hot take on Lisp metaprogramming☆128Jan 22, 2026Updated 6 months ago
- A colorful interactive physics simulator with thousands of balls, but in your terminal!☆99Jan 19, 2026Updated 6 months ago
- like jq but for Markdown: find specific elements in a md doc☆1,740Mar 22, 2026Updated 4 months ago
- A functional, content-addressable programming language.☆466Aug 8, 2025Updated last year
- Public issue tracker for the Ultorg Desktop application☆14Jan 19, 2023Updated 3 years ago
- Foundation DB Query Language☆154Jun 7, 2026Updated 2 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.
- Compiling C to FlipJump☆98Jun 23, 2026Updated last month
- Advent of Code for 2021☆14Dec 3, 2021Updated 4 years ago
- A tool for editing files according to the rules of a provided Turing Machine☆31Aug 6, 2025Updated last year
- WIP: Next-gen network protocol for reliable data transfer in lossy environments. Outperforms TCP/UDP in high packet loss scenarios.☆305Sep 20, 2024Updated last year
- Minify CSS files through refactoring☆259Mar 18, 2024Updated 2 years ago
- A KISS repository for the Raspberry Pi☆17Jan 9, 2021Updated 5 years ago
- ☆74May 8, 2026Updated 3 months ago
- This repo contains a new way to use bloom filters to do lossless video compression☆249Jun 5, 2025Updated last year
- Override xdg-open behavior. Because the way it already works is not confusing enough☆146Aug 12, 2024Updated 2 years ago
- 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.
- The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI ag…☆44Updated this week
- Formula to detect the ease of reading a text according to the Coleman-Liau index (1975)☆14Nov 1, 2022Updated 3 years ago
- An HP48 rebuild for modern calculators☆19Oct 11, 2022Updated 3 years ago
- A browser-based, WebGL2 implementation of GPT-2 with transform block and attention matrix visualization☆346Oct 24, 2025Updated 9 months ago
- rio-wayland shim server☆22Sep 10, 2023Updated 2 years ago
- Algorithms as instruments.☆122Mar 2, 2025Updated last year
- An X11 window manager written in Prolog☆294Apr 13, 2026Updated 4 months ago