CLI tool to generate terraform files from existing infrastructure (reverse Terraform). Infrastructure to Code

A menagerie of cute implementations of modern typechecking algorithms

Python library for easily accessing Mozilla Data Collective datasets

Compiler for a small stack-based imperative language, targeting the Piet language.

Beginner's guide to Tactic Programming in Lean

A research project exploring how language models can help us think more, not less.

The 2024 edition of The Nature of Code with p5.js. Includes Notion workflow and build system.

The Dao of Functional Programming

Haskell implementation of W3C Webdriver Protocol (wip) https://w3c.github.io/webdriver/

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Mirror of https://gitlab.com/verso-browser/verso

A (more or less) one page introduction to Nix, the language.

Hazel, a live functional programming environment with typed holes

A pedagogical functional programming language.

Applied Functional Programming Course - Move from exercises to a working app!

⭐️ A friendly language for building type-safe, scalable systems!

A guidance language for controlling large language models.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

Solutions to Advent of Code.

A snapshot testing library for rust

Run Weeder to uncover unused Haskell functions

Sample database for SQL Server, Oracle, MySQL, PostgreSQL, SQLite, DB2

Randomly generates GraphQL queries from a GraphQL schema

A curated list of Rust code and resources.

Haskell graph database (in memory)

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell