Starred repositories
Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
A library for mechanistic interpretability of GPT-style language models
ACER is an AST-based Callgraph Generator Development Framework
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
VS Code extension that allows you to record and play back guided tours of codebases, directly within the editor.
Web application for exploring and understanding Haskell codebases
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
The website of the London Computation Club
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Must-read papers on graph neural networks (GNN)
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A curated list of awesome things related to functional programming in Python.
Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser
A declarative Unix terminal UI library written in Haskell
A function decorator, that rewrites the bytecode, to enable goto in Python
Tagref helps you manage cross-references in your code.
A collection of resources for learning type theory and type theory adjacent fields.
A collection of Practical Haskell bits.
Simple starter template for ExpressJs and TypeScript based on expressjs/generator and TypeScript-Node-Starter
Command-line program to download videos from YouTube.com and other video sites
A collection of templates and solutions for Competitive Programming in Haskell