Checked C is an extension to C that lets programmers write C code
LLVM-based compiler for the Nim language
OSS-Fuzz - continuous fuzzing for open source software
Repository for the book "Crafting Interpreters"
YiYiYa
Wrangling Untrusted File Formats Safely
Inference Llama 2 in one file of pure C
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Lexbor is development of an open source HTML Renderer library
Onix
Expert System Tool
Hobby operating system, bootloader, kernel, drivers, C library
Python bindings for the Transformer models implemented in C/C++
Ravi is a dialect of Lua, featuring limited optional static typing
A code generator for connecting C/C++ with other programming languages
A collection of practical tips can be found at the bottom of this page
Computer Algebra System written in Common Lisp
A cross-platform statistical package for econometric analysis
An Ubuntu remix for both new and experienced Linux sophisticates
Agena is an interpreted procedural programming language.
The GNU Prolog native compiler