Stars
Read through Git proxy that supports pack caching to avoid Github's rate limits
Turn your Cursor AI agent's work and your own typing into live, generative music 🎼
K Semantics of the Ethereum Virtual Machine (EVM)
Property testing for Stylus smart contracts
ethdebug.py is a debugger-side implementation of the EthDebug format
The symbolic execution engine powering the K Framework
Utilities for the K Framework, implemented in Rust
An interpreter for Rust's mid-level intermediate representation
A statically typed lisp, without a GC, for real-time applications.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
😎 The open-source, Haskell-built video editor for GIF makers.
Monty Hall problemi, Amerikan TV yarışma programı Let's Make a Deal'a dayanan bir olasılık bulmacasıdır.
For when people get too hyped up about things
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
use browser ui components inside your app!
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A compiler for a little statically-typed language implemented in Haskell.