Stars
🤔 Like GeoGuessr but for code. An open source project quiz.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
hacks, a python plugin library that doesn't play by the rules
An in-depth book and reference on building agentic systems like Claude Code
Distributors - Unifying Parsers, Printers & Grammars
Squeal, a deep embedding of SQL in Haskell
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
A curly-braces infix language that compiles to WebAssembly
Я - extremely composable embeddable programming language
Essentials of Compilation: An Incremental Approach in Haskell
an experimental new programming language based on interaction nets
Safe, zero-cost tail recursion for stable Rust
A toy implementation of the dependently typed lambda calculus known as λΠ
A mechanized model of Magic: The Gathering rules.
Code examples for the keynote "The case for call-by-name" at IFL 2024