zerovm / glibcLinks
ZeroVM glibc port (part of the gcc toolchain)
☆12Updated 10 years ago
Alternatives and similar repositories for glibc
Users that are interested in glibc are comparing it to the libraries listed below
Sorting:
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- A high performance fork-join multi-threading library☆18Updated 8 years ago
- Using TinyCC to compile Linux kernels☆65Updated 9 years ago
- Tasking 2.0☆16Updated 3 years ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago
- negamax AI algorithm for turn-based games☆13Updated 5 years ago
- ☆10Updated last month
- libvim: The core Vim editing engine as a minimal C library☆8Updated 4 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 5 months ago
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 2 years ago
- A compiler for secure multiparty computation☆50Updated 8 years ago
- Grammar Zoo☆92Updated 6 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆9Updated 4 years ago
- An AES-based 384 bit permutation.☆21Updated 2 months ago
- A simple benchmark system for compiled and interpreted languages.☆25Updated 4 years ago
- C crypto library☆24Updated last year
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆14Updated last year
- An interactive playground for the Nim programming language☆14Updated 6 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A truly minimal concatenative programming language☆28Updated last year
- A list of C static analysis tools☆12Updated 8 years ago
- ☆15Updated last year
- read key sequence and convert shell output into animation gif directly (internally emulate almost vt102 compatible terminal)☆31Updated 6 years ago
- Capability Distribution Language tools for seL4☆37Updated 4 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Revive awka - Awk to C Compiler☆98Updated 2 years ago
- Small Fast S-Expression Library☆79Updated 7 months ago
- A shellcode compiler☆40Updated 4 years ago
- Ridiculously experimental chess engine written in Nim.☆15Updated 4 years ago