☆112Oct 27, 2026Updated this week
Alternatives and similar repositories for prela
Users that are interested in prela are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust im…☆28May 14, 2026Updated 5 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆32Mar 19, 2024Updated 2 years ago
- A little library of bit-based data structures.☆22Jun 6, 2026Updated 4 months ago
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆43Feb 12, 2025Updated last year
- FlowLog is an actively developed Datalog-to-Timely compiler that turns Souffle-compatible programs into standalone Differential Dataflow …☆62Updated this week
- 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.
- An interactive Datalog☆79Oct 16, 2026Updated last week
- Lightweight persistent modal interfaces for Emacs☆14Nov 5, 2025Updated 11 months ago
- tree-based source-processing language☆16Nov 6, 2024Updated last year
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-pr…☆66Oct 11, 2026Updated 2 weeks ago
- Web Pipe is an experimental DSL and Rust runtime for building web apps via composable JSON pipelines, featuring native integration of Gra…☆18Jul 2, 2026Updated 3 months ago
- A free reading app for kids who just learned their phonics sounds: every word in a story can be sounded out, tap a word for its sounds. B…☆29Updated this week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- types for various combinatory systems, especialy tree calculi☆29Jan 23, 2025Updated last year
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- CTADL is a static taint analysis tool☆67Jun 24, 2026Updated 4 months ago
- ☆11May 1, 2024Updated 2 years ago
- Add LSP functionality to specific Neovim buffers☆12May 10, 2026Updated 5 months ago
- ☆13Oct 22, 2026Updated last week
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆21Sep 21, 2026Updated last month
- The practical relational programing language for data-oriented applications☆227Dec 3, 2022Updated 3 years ago
- ☆11Oct 21, 2024Updated 2 years ago
- Programming and interaction language. Flexible about syntax, strict about state.☆708Updated this week
- First-generation of HolonForth. - Developing code in browsers inspired by Smalltalk, using book-like structures with Modules, Groups, and…☆21Oct 12, 2020Updated 6 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.
- Kernel Programming Language written in assembly and Klisp, Imported from https://bitbucket.org/havleoto/bronze-age-lisp☆15Jan 3, 2020Updated 6 years ago
- The standalone Linux Lisp☆435Jun 17, 2026Updated 4 months ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Decentralized DB. Remember Everything. Everywhere. All At Once.☆119Updated this week
- Easily edit process memory through dynamic scripts☆12Apr 12, 2025Updated last year
- ☆174Aug 28, 2025Updated last year
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- Building better languages and tools; for some measure of better.☆384Updated this week
- 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.
- ☆13May 26, 2026Updated 5 months ago
- download the macOS SDK legally without an Apple account☆12Jun 1, 2023Updated 3 years ago
- Glide programming language☆22Apr 7, 2023Updated 3 years ago
- A Lean implementation of Interaction Trees☆19Jan 13, 2025Updated last year
- ☆58Oct 3, 2026Updated 3 weeks ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- Guy Steele's RABBIT Scheme compiler☆62Apr 1, 2009Updated 17 years ago