suzx917

ProjectiveGeometryInAgda

A formalization of Constructive Projective Geometry in Agda

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

hos

The functional Haskell kernel

tagless

oleg modules

semantic

Parsing, analyzing, and comparing source code across many languages

IUTypeTheoryCourse.github.io

B629 course content for Spring 2023

sequoia

classical sequent calculus, embedded in Haskell

nix-doom-emacs

doom-emacs packaged for Nix [maintainers=@thiagokokada]

HoTTEST-Summer-School

HoTTEST Summer School materials

Baby-Set-Theory

Coq集合论中文教程

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

PLGradSchools

lsystem

A simple L-Systems explorer powered by WebGL

context-free

Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.

fmt

A modern formatting library

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

wasp

The fastest way to develop full-stack web apps with React & Node.js.

jekyll-theme-persephone

A minimal jekyll theme for building books and blog.

haskell-chess

A chess rule library in Haskell

HGE2D

2D game engine written in Haskell

hchess

Haskell Chess Engine

Typing-Assistant

Typing Assistant provides the ability to autocomplete words and suggests predictions for the next word. This makes typing faster, more intelligent and reduces effort.

Haskell

haskell-ghc-illustrated

haskell ghc-illustrated

haskell-nix

Nix and Haskell in production

learnhaskell

Learn Haskell

glslEditor

Simple WebGL Fragment Shader Editor

dasher

Dasher

http

Simple HTTP client in C