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☆27Updated 3 months ago
- Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on …☆37Updated this week
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- 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 10 months ago
- interpreter devkit☆24Updated 5 years ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 3 weeks ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 2 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- WebAssembly made easy☆45Updated last year
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Programming language for ternary computing☆30Updated 3 years ago
- A collection of tools for building concurrent systems☆30Updated last year
- A new city of code on a cosmopolitan foundation.☆20Updated 3 years ago
- parse don't validate☆11Updated last year
- GUI for gdb, rr, perf, and more☆26Updated 4 months ago
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆65Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz☆28Updated 8 months ago
- a 64-bit histogram / quantile sketch☆58Updated 3 weeks ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆63Updated last year
- A Fun Frontend Language☆16Updated last year
- Omnino is a windowing system for web applications.☆57Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- Yet another simple header only arena allocator for C11☆40Updated 6 months ago
- Structured UI Programming with ES6 Generators☆24Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year