Projects in Awesome Lists by azdavis
A curated list of projects in awesome lists by azdavis .
https://github.com/azdavis/millet
A language server for Standard ML in Rust.
language-server rust standard-ml vscode
Last synced: 16 May 2025
https://github.com/azdavis/birb
A toy programming language with effects and contracts
Last synced: 12 Apr 2025
https://github.com/azdavis/coc
The calculus of constructions
programming-language-theory rust
Last synced: 12 Apr 2025
https://github.com/azdavis/language-util
Various utility crates that might be useful when implementing a programming language.
language-server programming-language
Last synced: 12 Apr 2025
https://github.com/azdavis/hatsugen
A small programming language formally defined with a series of blog posts and Lean code.
Last synced: 22 Mar 2025
https://github.com/azdavis/sml-libs-scraper
Scraper for online SML libraries
Last synced: 12 Apr 2025
https://github.com/azdavis/ungrammar-tools
Tools for ungrammar
rust rust-analyzer syntax-highlighting vscode
Last synced: 28 Apr 2025
https://github.com/azdavis/try-rust
An attempt to learn Rust by following along in The Book.
Last synced: 22 Mar 2025
https://github.com/azdavis/howto-terminal
how to use the terminal, a tutorial for CMU 76-270
Last synced: 22 Mar 2025
https://github.com/azdavis/try-axum
an investigation in actually deploying an actual app with rust on fly.io
Last synced: 22 Mar 2025
https://github.com/azdavis/regex-builder
a browser app for building regexes
Last synced: 22 Mar 2025
https://github.com/azdavis/parallel-portrait-mode
Parallel Portrait Mode
cuda image-processing ispc openmp
Last synced: 22 Mar 2025