Lisp implemented inside Rust trait system
☆52Dec 27, 2025Updated 7 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:
- Vim syntax highlighting for Oils☆17Jun 14, 2025Updated last year
- EANT2 made in Rust.☆15Jun 12, 2022Updated 4 years ago
- ☆15May 19, 2026Updated 2 months ago
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 7 months ago
- Wakatime plugin for Helix Steel☆16May 5, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.☆22Updated this week
- A helix plugin to switch between `.cpp` and `.h` files with the same base name.☆17Jun 28, 2025Updated last year
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- AWS lambda S3 + rust-htslib: A serverless bioinformatics example☆14Jun 7, 2022Updated 4 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- inject build-time info (git, build times) without triggering rebuilds☆16Dec 19, 2025Updated 7 months ago
- A rust proc macro that generates rust code at compile-time based on the prompt provided to the proc macro☆16Jul 24, 2023Updated 3 years ago
- Anonymous recursive functions in Racket☆21Sep 8, 2025Updated 10 months ago
- Sans-IO Protocol trait in Rust☆31Jul 14, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Schema Language for Cloudflare☆38Updated this week
- Negative trait implementations on stable Rust.☆19Jul 3, 2026Updated last month
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated last week
- A Rust library for reading, modifying, and writing Python .pyc files.☆15Jul 17, 2026Updated 2 weeks ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆21Jan 19, 2025Updated last year
- Helix plugin to jump around like with flash.nvim☆22Nov 14, 2025Updated 8 months ago
- Run erlang as a WASI http server (vapourware)☆28Nov 14, 2024Updated last year
- Statically typed Entity-Component storage☆19Updated this week
- 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.
- ☆23May 21, 2026Updated 2 months ago
- Mirror of https://codeberg.org/playXE/capy R6RS/R7RS Scheme implementation in Rust with JIT compilation☆32Updated this week
- 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
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- Aether — an open, strongly-typed scientific computing framework for aerospace and physics simulation in Rust.☆24Jul 15, 2026Updated 2 weeks ago
- A Clojure wrapper around JNR-FFI☆13Aug 19, 2023Updated 2 years ago
- Helix plugin to bookmark files and quickly switch between them☆30Feb 1, 2026Updated 6 months ago
- Boilerplate free state machines☆26Jul 27, 2026Updated last week
- WASM on CloudFlare Workers☆13Aug 13, 2022Updated 3 years ago
- 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.
- A parser-combinator library for writing PEG-style grammars in Rust with a focus on useful errors, error recovery and good performance.☆30Jul 8, 2026Updated 3 weeks ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆31Aug 30, 2022Updated 3 years ago
- maps are everything.☆10Jul 3, 2025Updated last year
- Wasm interpreter in lean, designed for reasoning☆154Updated this week
- Nix bindings for all languages☆44Jun 9, 2025Updated last year
- ☆34May 21, 2026Updated 2 months ago
- Org Social Relay is a P2P system that acts as an intermediary between all social.org files☆15Jul 28, 2026Updated last week