azdavis

millet

A language server for Standard ML.

birb

A toy programming language with effects and contracts

hatsugen

A small programming language formally defined with a series of blog posts and Lean code.

language-util

Various utility crates that might be useful when implementing a programming language.

sml-libs-scraper

Scraper for online SML libraries

rjsonnet

An implementation of Jsonnet in Rust.

ungrammar-tools

Tools for ungrammar

bead

a bidirectionally-typechecked language

dotfiles

A potpourri of macOS dotfiles

flap

a clone of flappy bird

nawa

a rope data structure

unrecur

Transforming recursion into iteration.

c0ls

A language server for C0

fix-ws

A fix for whitespace

sml-libs

Signatures for SML libraries

try-rust

An attempt to learn Rust by following along in The Book.

wordle-best

The best starting Wordle word?

advent-of-code

a yearly game of programming

azdavis.net

A place for stuff

langserver.github.io

lsp-mode

Emacs client/library for the Language Server Protocol

mltonlib

The MLtonLibrary repository

mulligan

A stepping debugger for Standard ML (SML)

regex-builder

a browser app for building regexes

rowan

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

smlfmt

A custom parser/auto-formatter for Standard ML

try-axum

an investigation in actually deploying an actual app with rust on fly.io

vscode

Visual Studio Code