blackerby

goingmeta

code and resources used in the Going Meta sessions

cleed

Simple feed reader for the command line.

ponyo

Library and Toolkit for Standard ML

gosql

An early PostgreSQL implementation in Go

nqcc2

Reference implementation for Writing a C Compiler

hxt

Haskell XML Toolbox

jj

A Git-compatible VCS that is both simple and powerful

sql_patterns

textbook-solutions

Solutions to OCaml Programming

sf-lectures

Software Foundations

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

littleocamler

Little MLer -> OCaml

the-little-ocamler

The examples from "The Little MLer" in OCaml and ReasonML

mlton

The MLton repository

til

:memo: Today I Learned

jaffle_shop_duckdb_superset

Modern Data Stack in a box with dbt-duckdb and Apache Superset

djot.lua

Lua parser for the djot light markup language

djota

A Djot implementation in Prolog

jotdown

A Djot parser library

djoths

Haskell parser for the djot light markup language

djot

A light markup language

verso

Lean documentation authoring tool

TAPL

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

document-calculus

Accompanying materials for "A Core Calculus for Documents"

cobalt.rs

Static site generator written in Rust

Adduce

Versatile, adaptable, and fast static site generator written in Rust.

dlt

data load tool (dlt) is an open source Python library that makes data loading easy 🛠️

biblatex

A Rust crate for parsing and writing BibTeX and BibLaTeX files.

schema

Citation Style Language schema

windmill

Open-source developer platform to turn scripts into workflows and UIs. Fastest workflow engine (5x vs Airflow). Open-source alternative to Airplane and Retool.