Ailrun

magit-lfs

Git LFS for magit!

pile-of-characters

Various writings

lambda-cube

Haskell implementation of (some of) lambda cube calculi

tsdux

Type-safe redux utilities for TypeScript.

satyros

SATyros, small SAT/SMT sovler library for step-by-step solving

tsdux-observable

tsdux utilities for Observables

Floor1

Experimental (and basic) proof assistant with absolutely **no** elegant features.

TRPL-study

<The Rust Programming Language> book study

Ailrun.github.io

GitHub Pages for Ailrun

deducible

TypeScript library for logical system handling

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

learn-ocaml

A Web Application for Learning OCaml

miniCUTE

Minimal implementation of basic compiler in Haskell

plfa.github.io

An introduction to programming language theory in Agda

ProofPool

Agda proofs for various topics

stylish-haskell

Haskell code prettifier

yet-another-emacs-settings

emacs settings for C, C++, html, node.js, ...

adjoint-meta-eclaps-2023

all-the-icons.el

A utility package to collect various Icon Fonts and propertize them within Emacs.

DefinitelyTyped

The repository for high quality TypeScript type definitions.

elevator-artifacts

ghc-api-compat

Haskell-Kaleidoscope

HoTTEST-Summer-School

HoTTEST Summer School materials

lambdacomp

lsp-haskell

lsp-mode :heart: haskell

media

opam-repository

Main public package repository for opam, the source package manager of OCaml.

ptr-poker

Pointer poking action construction and composition toolkit

sandbox

A secure process-level sandbox based on a ptrace jail