Pinned Repositories
bead
a bidirectionally-typechecked language
birb
A toy programming language with effects and contracts
coc
The calculus of constructions
dotfiles
A potpourri of macOS dotfiles
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.
millet
A language server for Standard ML.
rjsonnet
A language server for Jsonnet in Rust.
sml-libs-scraper
Scraper for online SML libraries
ungrammar-tools
Tools for ungrammar
azdavis's Repositories
azdavis/millet
A language server for Standard ML.
azdavis/birb
A toy programming language with effects and contracts
azdavis/hatsugen
A small programming language formally defined with a series of blog posts and Lean code.
azdavis/language-util
Various utility crates that might be useful when implementing a programming language.
azdavis/sml-libs-scraper
Scraper for online SML libraries
azdavis/ungrammar-tools
Tools for ungrammar
azdavis/rjsonnet
A language server for Jsonnet in Rust.
azdavis/bead
a bidirectionally-typechecked language
azdavis/dotfiles
A potpourri of macOS dotfiles
azdavis/flap
a clone of flappy bird
azdavis/nawa
a rope data structure
azdavis/unrecur
Transforming recursion into iteration.
azdavis/advent-of-code
a yearly game of programming
azdavis/c0ls
A language server for C0
azdavis/fix-ws
A fix for whitespace
azdavis/sml-libs
Signatures for SML libraries
azdavis/try-rust
An attempt to learn Rust by following along in The Book.
azdavis/wordle-best
The best starting Wordle word?
azdavis/azdavis.net
A place for stuff
azdavis/langserver.github.io
azdavis/lsp-mode
Emacs client/library for the Language Server Protocol
azdavis/mltonlib
The MLtonLibrary repository
azdavis/mulligan
A stepping debugger for Standard ML (SML)
azdavis/regex-builder
a browser app for building regexes
azdavis/rowan
azdavis/rust
Empowering everyone to build reliable and efficient software.
azdavis/rust-analyzer
A Rust compiler front-end for IDEs
azdavis/smlfmt
A custom parser/auto-formatter for Standard ML
azdavis/try-axum
an investigation in actually deploying an actual app with rust on fly.io
azdavis/vscode
Visual Studio Code