- Kashmir.
- All languages
- ANTLR
- Agda
- Assembly
- Blade
- C
- C#
- C++
- C3
- CSS
- Clojure
- Common Lisp
- Cuda
- Dart
- Erlang
- F#
- Flix
- Frege
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Koka
- LLVM
- Lean
- Makefile
- Markdown
- OCaml
- OpenSCAD
- PHP
- Perl
- Python
- Racket
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Slash
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- V
- Verilog
- Vue
- Wren
- Zig
- hoon
Starred repositories
Become a cracked AI/ML Research Engineer
๐ Making Rust a first-class language and ecosystem for GPU shaders ๐ง
A simple OS kernel for research, teaching, and fun.
Theory and formalisation of basic peephole optimisations that you would find in any compiler.
A menagerie of cute implementations of modern typechecking algorithms
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
An implementation of Shazam's song recognition algorithm.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
An open-source, ultra-low-latency remote desktop for Linux hosts and Windows clients
Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.
A simple and easy-to-use library to enjoy videogames programming
A single-header ANSI C immediate mode cross-platform GUI library
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
An open, technical and introductory book for the Zig programming language ๐๐
From the Transistor to the Web Browser, a rough outline for a 12 week course
Short notes I made for GATE CSE subjects during my gate preparation from 2018 to 2021.
Light Utilization with Multicycle Operational Stages (LUMOS) RISC-V Processor
A bare metal programming guide (ARM microcontrollers)
A Fast and Easy to use microframework for the web.
List of commonly asked questions for Embedded SW Engineering interviews.
Android real-time display control software
open source training courses about distributed database and distributed systems
A curated list of Palestine and Palestinian-Israeli conflict resources.


