Stars
Pangea Software's Mighty Mike (Power Pete) for modern systems
Comparison of Language Model Inference Engines
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A Git-compatible VCS that is both simple and powerful
A classic Mac loaded with everything you'd want
An archive of Magic: The Gathering articles and coverage
A fully-modern text-based browser, rendering to TTY and browsers
Browser extension for opening lists of URLs built with Vue.js on top of WebExtension with cross-browser support
Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …
Examples from Introduction to Programming in ATS
Precompiled x64 Qt 5/6 library in minimalistic configuration for Windows.
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
Progressively image a mounted disk correctly without corruption
Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough …
Hypertypes - generic programming for heterogeneous recursive types
ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.
a structural diff that understands syntax 🟥🟩