Skip to content
View ar9v's full-sized avatar

Block or report ar9v

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

minimal-emacs.d - Better Emacs defaults and optimized startup, intended to serve as a solid foundation for your vanilla Emacs configuration

Emacs Lisp 657 77 Updated Dec 15, 2025

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

C 452 27 Updated Jun 1, 2025

Online J IDE

HTML 2 1 Updated Oct 13, 2025

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Jupyter Notebook 24,158 2,491 Updated Dec 24, 2025

Dyalog APL in your command shell

Shell 27 Updated Dec 10, 2025

A menagerie of cute implementations of modern typechecking algorithms

Rust 361 13 Updated Dec 22, 2025

Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

C 1,323 77 Updated Nov 6, 2025

An example starter repo for Python projects

Python 305 50 Updated Jun 16, 2025

⭐️ Companies that don't have a broken hiring process

JavaScript 50,269 3,884 Updated Jul 31, 2025

LISP source code for David Cope's book "Computer Models of Musical Creativity".

Common Lisp 141 16 Updated Aug 23, 2014
Jupyter Notebook 74 66 Updated Dec 14, 2025

From Bronze to GM in miniKanren!

Scheme 13 Updated May 22, 2025

LUTE = Learning Using Texts: learn languages through reading.

Python 883 89 Updated May 4, 2025

The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.

Python 36 9 Updated Nov 13, 2022

A Clojure Spreadsheet for building design tools.

Clojure 132 1 Updated Nov 6, 2024

A functional, flexible and concise Lisp.

Java 297 13 Updated Aug 5, 2025

Competitive Programmer's Handbook

TeX 3,350 389 Updated Aug 1, 2024

Exercises based on Siek's Essentials of Compilation, in Gerbil Scheme

Scheme 3 Updated Feb 21, 2024

Roll your own modal mode

Emacs Lisp 235 15 Updated Aug 20, 2024

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

Agda 130 17 Updated Aug 19, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 49,866 1,377 Updated Dec 24, 2025

GNU Emacs / N Λ N O - Emacs made simple

Emacs Lisp 2,817 196 Updated Oct 14, 2025

A very minimal but elegant emacs (I think)

Emacs Lisp 1,418 80 Updated Nov 22, 2021
Emacs Lisp 68 4 Updated Mar 30, 2024

GNU Emacs notebook mode

Emacs Lisp 656 29 Updated Jul 19, 2023

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Common Lisp 7,405 719 Updated Oct 15, 2024

Structured Editing and Navigation in Emacs with Tree-Sitter

Emacs Lisp 1,125 76 Updated Nov 3, 2025

Minimal theme & startpage for geek people. Monochromatic & pastel colors. Keyboard centered.

CSS 175 8 Updated Aug 5, 2023

Creative coding and visual illusions in Rust.

Rust 206 9 Updated Mar 2, 2025

This is a community project. We write and collect scripts for polybar!

Shell 2,610 341 Updated Sep 24, 2025
Next