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
Sorting:
- An optimizing compiler for a large subset of the C programming language☆26Updated this week
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- A rethinking of the C time library☆10Updated 3 months ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 3 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 8 months ago
- interpreter devkit☆25Updated 5 years ago
- Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc☆18Updated 3 weeks ago
- Omnino is a windowing system for web applications.☆57Updated last year
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆17Updated last year
- building and applying patches to binary files☆71Updated last year
- GUI for gdb, rr, perf, and more☆27Updated 8 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 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 compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Updated 3 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A Fun Frontend Language☆16Updated 2 years ago
- ☆10Updated 3 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- a 64-bit histogram / quantile sketch☆59Updated 4 months ago
- Structured UI Programming with ES6 Generators☆24Updated last year
- parse don't validate☆11Updated last year
- A new city of code on a cosmopolitan foundation.☆20Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- A simple path-tracer in Zig☆18Updated 3 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- Typed Formats for Storing & Transferring Data & Code☆29Updated this week
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago