spl / ivy
A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
☆15Updated 9 years ago
Alternatives and similar repositories for ivy:
Users that are interested in ivy are comparing it to the libraries listed below
- An optimizing compiler for a large subset of the C programming language☆25Updated 4 months ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 2 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Omnino is a windowing system for web applications.☆57Updated last year
- interpreter devkit☆25Updated 5 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆66Updated 2 years ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Updated last month
- A Fun Frontend Language☆16Updated last year
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- building and applying patches to binary files☆71Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆41Updated this week
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A collection of libraries in Scheme☆13Updated 4 years ago
- A toy programming language I wrote in late 2022☆24Updated 11 months ago
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆14Updated 7 months ago
- Cell language C++ runtime☆18Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- ☆10Updated 3 years ago
- a 64-bit histogram / quantile sketch☆58Updated 2 months ago
- A simple path-tracer in Zig☆18Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆27Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆64Updated last year