peirick's Stars
little-brother/sqlite-gui
Lightweight SQLite editor for Windows
marian-nmt/marian-dev
Fast Neural Machine Translation in C++ - development repository
google/wuffs
Wrangling Untrusted File Formats Safely
akkartik/mu
Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
c3lang/c3c
Compiler for the C3 language
iitalics/Opal
Simple and powerful programming language with type inference
Storyyeller/cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
micro/services
Real World Micro Services
Ahnfelt/type-inference-by-example
A series of down-to-earth articles on implementing type inference
wren-lang/wren
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
ecere/ecere-sdk
Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —
webview/webview
Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).
zserge/jsmn
Jsmn is a world fastest JSON parser/tokenizer. This is the official repo replacing the old one at Bitbucket
rxi/map
A type-safe hash map implementation for C
jart/cosmopolitan
build-once run-anywhere c library
sobolevn/awesome-cryptography
A curated list of cryptography resources and links.
phorward/unicc
LALR parser generator targetting C, C++, Python, JavaScript, JSON and XML
phorward/xpl
An eXample Programming Language
clibs/buffer
Tiny C string library
skeeto/w64devkit
Portable C and C++ Development Kit for x64 (and x86) Windows
orangeduck/mpc
A Parser Combinator library for C
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
mingodad/peg
Import of Ian Piumarta's peg/leg recursive-descent parser generators for C
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
racket/racket
The Racket repository
FStarLang/FStar
A Proof-oriented Programming Language
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
ebkalderon/tower-lsp
Language Server Protocol implementation written in Rust
LingDong-/wax
A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
fusionlanguage/fut
Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.