azdavis Goto Github PK

advent-of-code

a yearly game of programming

azdavis.net

A place for stuff

bead

a bidirectionally-typechecked language

birb

A toy programming language with effects and contracts

c0ls

A language server for C0

coc

The calculus of constructions

dotfiles

A potpourri of macOS dotfiles

fix-ws

A fix for whitespace

flap

a clone of flappy bird

hatsugen

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

howto-terminal

how to use the terminal, a tutorial for CMU 76-270

langserver.github.io

language-util

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

lsp-mode

Emacs client/library for the Language Server Protocol

millet

A language server for Standard ML.

mltonlib

The MLtonLibrary repository

mulligan

A stepping debugger for Standard ML (SML)

nawa

a rope data structure

parallel-portrait-mode

Parallel Portrait Mode

regex-builder

a browser app for building regexes

resistance

A game of deceit

rjsonnet

An implementation of Jsonnet in Rust.

rowan

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

sml-libs

Signatures for SML libraries

sml-libs-scraper

Scraper for online SML libraries

smlfmt

A custom parser/auto-formatter for Standard ML

try-axum

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

try-rust

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