Lisp implemented inside Rust trait system
☆51Dec 27, 2025Updated 6 months ago
Alternatives and similar repositories for lisp-in-types
Users that are interested in lisp-in-types 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 notification engine for Helix☆47Mar 30, 2026Updated 3 months ago
- EANT2 made in Rust.☆15Jun 12, 2022Updated 4 years ago
- A sleek, minimalist web-app designed for effortless ASCII art creation. Click and drag to design detailed diagrams with boxes, lines of d…☆24Updated this week
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- My servers and stuff in nix☆15Jun 30, 2026Updated 2 weeks ago
- 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.
- A rust proc macro that generates rust code at compile-time based on the prompt provided to the proc macro☆16Jul 24, 2023Updated 2 years ago
- Linearizability Hoare Logic☆17May 12, 2026Updated 2 months ago
- Either "Simple Lisp compiler", or "Steve's Lisp Compiler".☆16Updated this week
- AWS lambda S3 + rust-htslib: A serverless bioinformatics example☆14Jun 7, 2022Updated 4 years ago
- ☆24Jan 13, 2026Updated 6 months ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- Experimental HKT framework and generic traits for the standard library☆23Dec 11, 2022Updated 3 years ago
- ☆12Dec 20, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- A little library of bit-based data structures.☆22Jun 6, 2026Updated last month
- ☆29Aug 13, 2025Updated 11 months ago
- ☆26Nov 18, 2022Updated 3 years ago
- ☆13Apr 26, 2025Updated last year
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 4 years ago
- ☆18Updated this week
- Mikomikagi is a post-quantum cryptographic tool that provides digital signature and asymmetric encryption.☆24Dec 23, 2024Updated last year
- Negative trait implementations on stable Rust.☆19Jul 3, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- High performance, enterprise grade, scalable Nostr relay☆28Feb 2, 2026Updated 5 months ago
- A Go implementation of the Shen programming language☆61Jun 14, 2026Updated last month
- gmacFTP — Free, open-source, native dual-pane FTP/FTPS/SFTP client for macOS. Universal for Apple Silicon and Intel, built in Rust with S…☆20Updated this week
- Common Lisp bytecode compiler☆18Jun 3, 2026Updated last month
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated 2 years ago
- Helheim to Helix is what Spacemacs and Doom are to Vim☆43Updated this week
- Quality-of-life for fiddly little JS apps that modify user-generated text☆21Jan 19, 2025Updated last year
- ☆41Aug 9, 2014Updated 11 years ago
- A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer☆23Jun 7, 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.
- Vibe coding moves fast — specs get skipped, tests get forgotten. NexPath CLI is a lightweight guidance system for Claude Code, Cursor, Cl…☆28Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 3 years ago
- Run erlang as a WASI http server (vapourware)☆28Nov 14, 2024Updated last year
- Slides of mine.☆11Apr 19, 2024Updated 2 years ago
- b0nker lightweight containerization☆23Jul 4, 2026Updated last week
- maps are everything.☆10Jul 3, 2025Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago