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

haskell source code visualizer

magic-trace collects and displays high-resolution traces of what a process is doing

Generates a references DB from .hie files

A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python