Block or Report
Block or report KingAl
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Markdown source for Michael Abrash's Graphics Programming Black Book
Dafny is a verification-aware programming language
Techniques and numbers for estimating system's performance from first-principles
😎 Awesome lists about all kinds of interesting topics
Inpla: Interaction nets as a programming language (the current version)
The APL programming language (a subset thereof) compiling to Common Lisp.
Comfortably monitor your Internet traffic 🕵️♂️
A new markup-based typesetting system that is powerful and easy to learn.
Source code for the https://computerenhance.com programming series
historical archive of rust pre-publication development
open source training courses about distributed database and distributed systems
Code to accompany the textbook "Modeling Neural Circuits Made Simple"
Don't let the cursor slow you down
Graph-oriented live coding language and music/audio DSP library written in Rust
A decentralized and federated way of annotating the web based on Matrix.
A ready-to-fork interpreted functional language with type inference
A massively parallel, optimal functional runtime in Rust
For when people get too hyped up about things
Various PowerShell functions and scripts
Collection of scripts, documentation, and example for waveshare e-ink displays
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
FAQ and resources for those curious about joining the Matrix network!