Transductive regular expressions
☆258Sep 25, 2025Updated 11 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
- ☆117Apr 17, 2026Updated 4 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 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.
- 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.☆702Updated this week
- ☆12Mar 18, 2022Updated 4 years ago
- An experiment in hermetic, reproducible build systems☆406Updated this week
- 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 …☆362May 21, 2025Updated last year
- 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.☆638Dec 9, 2024Updated last year
- 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.
- iCalendar/RFC5545 file format library for Common Lisp☆17May 17, 2026Updated 3 months ago
- A hot take on Lisp metaprogramming☆128Jan 22, 2026Updated 7 months ago
- like jq but for Markdown: find specific elements in a md doc☆1,743Mar 22, 2026Updated 5 months ago
- A functional, content-addressable programming language.☆465Aug 8, 2025Updated last year
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- Train models to predict attributes of product images☆24Mar 15, 2025Updated last year
- Public issue tracker for the Ultorg Desktop application☆14Jan 19, 2023Updated 3 years ago
- ☆268Aug 22, 2025Updated last year
- Foundation DB Query Language☆154Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Compiling C to FlipJump☆98Jun 23, 2026Updated 2 months 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☆260Mar 18, 2024Updated 2 years ago
- A KISS repository for the Raspberry Pi☆17Jan 9, 2021Updated 5 years ago
- ☆75May 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
- Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux☆76Jan 15, 2026Updated 7 months 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.
- 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☆348Oct 24, 2025Updated 10 months ago
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Feb 27, 2025Updated last year
- Algorithms as instruments.☆122Mar 2, 2025Updated last year
- An X11 window manager written in Prolog☆294Apr 13, 2026Updated 4 months ago
- A simplified subset of C transpiled into Web Assembly☆110Jan 29, 2022Updated 4 years ago
- Catalogue of novel operating systems☆336Jul 11, 2025Updated last year