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
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- An optimizing compiler for a large subset of the C programming language☆25Updated 5 months ago
- A rethinking of the C time library☆10Updated last month
- Typescript implementation of Relaxed Radix Balanced Trees☆16Updated 6 months ago
- Automatically exported from code.google.com/p/libsum☆12Updated 10 years ago
- interpreter devkit☆25Updated 5 years ago
- High-performance Python runtime extensions☆13Updated last week
- 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
- a 64-bit histogram / quantile sketch☆58Updated 2 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- A new city of code on a cosmopolitan foundation.☆20Updated 4 years ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 3 years ago
- building and applying patches to binary files☆71Updated last year
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆42Updated last 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 last month
- Fun with wgpu: Simulating slime mold☆24Updated 7 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 2 months ago
- GUI for gdb, rr, perf, and more☆27Updated 6 months ago
- parse don't validate☆11Updated last year
- A CLI for calling, scripting, and testing web APIs, built on an experimental data-transfer language.☆17Updated this week
- Cell language C++ runtime☆18Updated 4 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- Single-header, non-backtracking regular expression engine written in C89☆12Updated last year
- A collection of tools for building concurrent systems☆30Updated 2 years ago
- Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc☆11Updated 2 weeks ago
- libvim: The core Vim editing engine as a minimal C library☆8Updated 4 years ago
- A general purpose relational language☆20Updated 5 years ago