Compiler for a toy Lisp language
☆64Feb 16, 2020Updated 6 years ago
Alternatives and similar repositories for unlisp-llvm
Users that are interested in unlisp-llvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- R7RS expander☆17Aug 18, 2021Updated 4 years ago
- A supervised machine learning library.☆12May 19, 2020Updated 6 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆29May 19, 2019Updated 7 years ago
- ☆22Feb 22, 2020Updated 6 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61May 12, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,927Updated this week
- Provides type-safe matrix operations using Rust's const generics☆46Mar 14, 2022Updated 4 years ago
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 years ago
- ☆58Aug 18, 2021Updated 4 years ago
- Arborist is a PEG parser that supports left-associative left recursion☆19Apr 5, 2020Updated 6 years ago
- Lox language implemented in OCaml☆14Oct 6, 2020Updated 5 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 5 months ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆98Jul 4, 2016Updated 9 years ago
- Jazz - register-based virtual machine and programming language☆27Jan 14, 2019Updated 7 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.
- Super simple lisp interpreter inspired by buildyourownlisp.com, in Rust.☆11Jun 7, 2023Updated 2 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆15Mar 11, 2021Updated 5 years ago
- A Kafka client for Racket.☆18Aug 4, 2025Updated 9 months ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆32May 13, 2026Updated last week
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 7 years ago
- [WIP] Compiler for the Limonite programming language.☆15Jul 7, 2022Updated 3 years ago
- Safe LLVM bindings for Rust☆22Jan 8, 2024Updated 2 years ago
- CFFI bindings for LLVM☆99Apr 1, 2024Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐☆14Dec 12, 2019Updated 6 years ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- Pure functional Lisp implemented in Rust☆210Dec 12, 2021Updated 4 years ago
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Jul 29, 2016Updated 9 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Extension host from VSCode extracted for use in Onivim 2☆13Apr 17, 2019Updated 7 years ago
- A compiler to compile a simple subset of scheme to LLVM 10☆112May 1, 2021Updated 5 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- 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.
- Experiments with llvm to create a toy programming language☆25Mar 27, 2026Updated last month
- Lazy forms in Common Lisp☆11Aug 31, 2020Updated 5 years ago
- Simple and clear embedabble programming language☆19Apr 3, 2023Updated 3 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28May 1, 2022Updated 4 years ago
- Drivers for Seeed Studio's eRPC-based wifi protocol☆12Jun 28, 2025Updated 10 months ago