exists-forall / nickelView external linksLinks
A safe and efficient target language for functional compilers
☆20May 5, 2018Updated 7 years ago
Alternatives and similar repositories for nickel
Users that are interested in nickel are comparing it to the libraries listed below
Sorting:
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 8 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Jun 30, 2024Updated last year
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- extensions to core/std library types.☆14Aug 17, 2025Updated 5 months ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 9 months ago
- [WIP] Compiler for the Limonite programming language.☆14Jul 7, 2022Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Nov 1, 2023Updated 2 years ago
- yk packages☆39Updated this week
- A Haskell derived programming language for systems development.☆14Sep 18, 2018Updated 7 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- LuaJC ported to the ASM framework☆15Oct 13, 2016Updated 9 years ago
- Arc Lisp to C compiler☆33Aug 13, 2008Updated 17 years ago
- ☆18Aug 20, 2019Updated 6 years ago
- quick c☆35Mar 19, 2022Updated 3 years ago
- The Vist programming language☆14Feb 21, 2017Updated 8 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- The Starling JavaScript runtime☆17Jan 22, 2018Updated 8 years ago
- a tiny string library☆23Feb 3, 2016Updated 10 years ago
- A simple WebAssembly compiler☆14Aug 12, 2019Updated 6 years ago
- A programming language in the Perl/Python/Ruby group☆132Jul 24, 2018Updated 7 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Jun 30, 2019Updated 6 years ago
- A programming language for the modern world.☆42Aug 25, 2019Updated 6 years ago
- High-level VM (like LLVM's little brother)☆39Mar 24, 2015Updated 10 years ago
- Experiments with llvm to create a toy programming language☆25Nov 30, 2024Updated last year
- Convert ASCII messages into sine waves☆22Apr 10, 2018Updated 7 years ago
- C based backend for rustc☆27Feb 26, 2025Updated 11 months ago
- Clojure program to exhaustively search for optimal Java programs☆21Sep 5, 2012Updated 13 years ago
- ☆23Apr 9, 2016Updated 9 years ago
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- Rust impl GlobalAlloc for Boehm GC☆31Updated this week
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆24Oct 28, 2019Updated 6 years ago
- Exploration of GPU computing using WebGPU☆27Jan 4, 2021Updated 5 years ago
- ☆27Jun 26, 2024Updated last year
- LLVM IR to Cranelift IR translator☆37Oct 8, 2019Updated 6 years ago
- A simple wrapper tool around ffmpeg to capture video from a VCR.☆31Mar 21, 2018Updated 7 years ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago