Rust-based Scheme Compiler, written in the Nanopass style
☆12Jun 12, 2018Updated 7 years ago
Alternatives and similar repositories for rsc
Users that are interested in rsc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments with llvm to create a toy programming language☆25Nov 30, 2024Updated last year
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- A toy BEAM Virtual Machine - in Rust☆16Jun 21, 2017Updated 8 years ago
- [WIP] Compiler for the Limonite programming language.☆15Jul 7, 2022Updated 3 years ago
- An auto-formatter for the Standard ML language☆23Apr 22, 2020Updated 5 years ago
- 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.
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 7 years ago
- A compute library written in Rust with WebGPU☆18Apr 20, 2021Updated 4 years ago
- A protocol based monad implementation for clojure☆61Aug 11, 2014Updated 11 years ago
- Incremental implementation of a scheme compiler☆29Mar 16, 2013Updated 13 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.☆17Nov 22, 2023Updated 2 years ago
- ☆51Dec 14, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Vist programming language☆14Feb 21, 2017Updated 9 years ago
- A Clojure library for writing self-optimizing interpreters☆29Jun 2, 2020Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- NetBricks: A new network function framework based on Rust.☆12Jan 2, 2026Updated 2 months ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 13 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 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.
- ☆10Nov 11, 2019Updated 6 years ago
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 9 years ago
- ☆11May 26, 2020Updated 5 years ago
- ☆17Jan 3, 2025Updated last year
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- The sysex_tones project goal is control of amp modelers via text settings files and MIDI SysEx. Currently, the only amp modeler sysex_ton…☆12Jan 3, 2017Updated 9 years ago
- Soft-logic designs and HAL libraries for various subsystems found in Oxide hardware.☆19Updated this week
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 9 years ago
- Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.☆35Jan 1, 2017Updated 9 years ago
- 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.
- Tool to convert server side (CommonJS) modules to client side (browser) modules☆27Dec 23, 2016Updated 9 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 6 years ago
- libraries and tools to query puppetdb from the command line☆12May 21, 2025Updated 10 months ago
- Example TodoMVC powered by fulcro, pathom, and hasura☆15Mar 9, 2021Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago