graceemlin
Follow
Stars
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
pix2tex: Using a ViT to convert images of equations into LaTeX code.
A community-maintained Python framework for creating mathematical animations.
JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
The Superior Lisp Interaction Mode for Emacs
A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.
Survey of program analysis research with a focus on machine code
Command-line program to download videos from YouTube.com and other video sites
a cheat-sheet for mathematical notation in code form
The Zeal Operating System is a modernized fork of the 64-bit Temple Operating System, TempleOS.
An operating system written in Common Lisp
A book about compiling Racket and Python to x86-64 assembly
Source for the little book about OS development
Social reading and reviewing, decentralized with ActivityPub
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…
Termux - a terminal emulator application for Android OS extendible by variety of packages.
A libre lightweight streaming front-end for Android.
Master programming by recreating your favorite technologies from scratch.
Ghidra is a software reverse engineering (SRE) framework
A complete computer science study plan to become a software engineer.