Repositories list

• mg

  Public
  Portable version of the OpenBSD maintained mg, micro emacs clone

  C

  •30•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• plfa.github.io

  Public
  An introduction to programming language theory in Agda

  Agda

  •

  Creative Commons Attribution 4.0 International

  •338•0•0•0•Updated Sep 12, 2025Sep 12, 2025

• parconc-examples

  Public
  Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

  Haskell

  •

  Other

  •107•0•0•0•Updated Jul 6, 2025Jul 6, 2025

• rc

  Public
  rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)

  C

  •

  Other

  •33•0•0•0•Updated May 18, 2025May 18, 2025

• mathematics_in_lean

  Public
  The user home repository for the Mathematics in Lean tutorial.

  HTML

  •304•0•0•0•Updated Mar 29, 2025Mar 29, 2025

• sf

  Public
  HTML

  •11•0•0•0•Updated Mar 29, 2025Mar 29, 2025

• millet

  Public
  A ML-like pure functional language that can be used as a template for creating your own language

  OCaml

  •

  MIT License

  •3•0•0•0•Updated Mar 28, 2025Mar 28, 2025

• spartan-type-theory

  Public
  Spartan type theory

  OCaml

  •

  MIT License

  •19•0•0•0•Updated May 23, 2024May 23, 2024

• plzoo

  Public
  Programming Languages Zoo

  OCaml

  •

  MIT License

  •105•0•0•0•Updated Feb 29, 2024Feb 29, 2024

• ini

  Public
  A tiny ANSI C library for loading .ini config files

  C

  •

  MIT License

  •82•0•0•0•Updated Dec 3, 2023Dec 3, 2023

• libmprompt

  Public
  Robust multi-prompt delimited control and effect handlers in C/C++

  C

  •

  MIT License

  •14•0•0•0•Updated Nov 28, 2023Nov 28, 2023

• microui

  Public
  A tiny immediate-mode UI library

  C

  •

  MIT License

  •328•0•0•0•Updated Oct 17, 2023Oct 17, 2023

• lite

  Public
  A lightweight text editor written in Lua

  Lua

  •

  MIT License

  •366•0•0•0•Updated Sep 20, 2023Sep 20, 2023

• dropbox-api-content-hasher

  Public
  Code to compute the Dropbox API's "content_hash"

  Java

  •

  Other

  •30•0•0•0•Updated Nov 11, 2022Nov 11, 2022

• lambda-n-ways

  Public
  Benchmarks for capture-avoiding substitution

  HTML

  •

  MIT License

  •8•0•0•0•Updated Oct 18, 2022Oct 18, 2022

• cram

  Public
  Functional tests for command line applications

  Python

  •

  GNU General Public License v2.0

  •55•0•0•0•Updated Jun 15, 2022Jun 15, 2022

• libhandler

  Public
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

  C

  •

  Other

  •17•0•0•0•Updated Jul 28, 2020Jul 28, 2020

• ocaml-autoconf

  Public
  Fork of https://forge.ocamlcore.org/anonscm/git/ocaml-autoconf/ocaml-autoconf.git

  M4

  •

  Other

  •1•0•0•0•Updated Aug 20, 2017Aug 20, 2017

• lennart-lambda

  Public
  λλλλ Lennart Augustsson's λ-calculus cooked four ways

  Haskell

  •11•0•0•0•Updated Apr 23, 2017Apr 23, 2017

• xngns.github.io

  Public
  HTML

  •0•0•0•0•Updated Jan 21, 2017Jan 21, 2017