Skip to content
View kongotania's full-sized avatar

Block or report kongotania

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

You like pytorch? You like micrograd? You love tinygrad! ❤️

Python 32,253 4,039 Updated Apr 9, 2026

📚 A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.

C# 10,838 934 Updated Feb 1, 2026

General-purpose editor/IDE with high expansibility in Common Lisp

Common Lisp 2,932 243 Updated Apr 6, 2026

A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

Makefile 2,919 214 Updated Apr 8, 2026

clasp Common Lisp environment

Common Lisp 2,744 155 Updated Apr 8, 2026

The Superior Lisp Interaction Mode for Emacs

Common Lisp 2,043 353 Updated Mar 29, 2026

Definitions of DDD and fundamental concepts to reduce the learning curve and confusion

1,497 86 Updated Aug 29, 2022

A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.

Common Lisp 1,487 68 Updated Jan 18, 2026

A collection of TLA⁺ specifications of varying complexities.

TLA 1,481 217 Updated Apr 7, 2026

Clozure Common Lisp

Common Lisp 929 114 Updated Apr 7, 2026

Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLA 851 99 Updated Apr 18, 2022

A collection of resources for learning DDD. All are free to access.

793 77 Updated Feb 12, 2023

Common Lisp 3D Graphics Project

Common Lisp 646 35 Updated Nov 13, 2023

Some design approaches to enforcing a business rule requiring no duplicates. Domain driven design.

C# 580 58 Updated May 20, 2024

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Scheme 538 62 Updated Apr 3, 2026

Elegant High-Performance Computing

Common Lisp 517 19 Updated Jun 24, 2025

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

TLA 503 22 Updated Oct 27, 2024

Utilities beyond Alexandria

Common Lisp 495 46 Updated Mar 7, 2026

The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)

Common Lisp 436 29 Updated Apr 8, 2026

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

Emacs Lisp 392 27 Updated Feb 27, 2024

Personal collection of links, videos and things to help with event architecture event patterns.

388 18 Updated Nov 8, 2024

Pattern Matcher Compatible with Optima

Common Lisp 353 25 Updated Sep 4, 2024

Common Lisp regular expression library

Common Lisp 315 45 Updated Jun 6, 2025

Source Code for 'Practical TLA+' by Hillel Wayne

TLA 298 70 Updated Apr 13, 2022

Structural Lisp IDE/browser/computing environment

Common Lisp 279 7 Updated Feb 17, 2025

A curated list of awesome Lisp Machine and Lisp Operating System

265 17 Updated Oct 9, 2024

Portable shared-state concurrency for Common Lisp

Common Lisp 265 50 Updated Mar 25, 2026

Parallelism for Common Lisp

Common Lisp 261 30 Updated Nov 3, 2022

Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.

Common Lisp 248 16 Updated Mar 23, 2026

A correct and safe(er) JSON RFC 8259 reader/writer with sane defaults.

Common Lisp 189 17 Updated Mar 3, 2026
Next