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 6 months ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 3 years ago
- interpreter devkit☆25Updated 5 years ago
- A new city of code on a cosmopolitan foundation.☆20Updated 4 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- building and applying patches to binary files☆71Updated last year
- Cell language C++ runtime☆18Updated 4 years ago
- A rethinking of the C time library☆10Updated 2 months ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 7 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code☆16Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆44Updated this week
- A collection of libraries in Scheme☆13Updated 4 years ago
- Run erlang as a WASI http server (vapourware)☆26Updated 5 months 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 2 months ago
- Omnino is a windowing system for web applications.☆57Updated last year
- A collection of tools for building concurrent systems☆30Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- A Fun Frontend Language☆16Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- The Amsterdam Compiler Kit☆27Updated 3 weeks ago
- ☆10Updated 3 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- Compact garbage-collected heap and JSON-like object model☆80Updated last year