Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F#
- Frege
- GDScript
- Go
- HTML
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Makefile
- Markdown
- Nix
- OCaml
- Perl
- Prolog
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Tcl
- TeX
- TypeScript
- Typst
- Vue
- Yacc
- Zig
Extracts text from video games and visual novels. Highly extensible.
Unofficial PC Port of Animal Crossing Gamecube
Source code recreation for the game Earthbound
Complete BIOS and firmware packs for RetroArch, Batocera, Recalbox, Lakka, RetroPie, EmuDeck, RetroBat, RetroDECK, RomM. Verified checksums, 6700+ files, 300+ emulators profiled from source code.
A simple guide to x86 architecture, assembly, memory management, paging, segmentation, SMM, BIOS....
A tiny C compiler written purely in JavaScript.
A text editor in less than 1000 LOC with syntax highlight and search.
✨ Programming Language Research, Applied PLT & Compilers
Solução vencedora da Rinha de Backend - 2025 🔥
Algorithm powering the For You feed on X
book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
A strongly-typed language that compiles to JavaScript
Advanced genetic and evolutionary algorithm library written in Javascript
The scripts contained in this repository allow you to automatically play any gamemode on any map in Bloons TD6
A collection of compiler, emulator and microkernel tools.
Optimised tokenizer/lexer generator! 🐄 Uses /y for performance. Moo.
Wiki.js | A modern and powerful wiki app built on Node.js
Writing an OS in 1,000 lines.
Porting of software foundations book to Agda
An adventure on formalising logics using Agda programming language