Ariel Davis

Ecosystems: Rust, dotfiles, macOS, Cuda, TypeScript

Projects

xshell

Private implementation detail of xshell crate

Rust - Released: 15 Oct 2020 - 677

millet

A language server for Standard ML.

Rust - Released: 28 May 2020 - 207

language-util

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

Rust - Released: 03 Mar 2021 - 5

rjsonnet

An implementation of Jsonnet in Rust.

Rust - Released: 20 Aug 2023 - 3

dotfiles

A potpourri of macOS dotfiles

Shell - Released: 08 Oct 2016 - 2

birb

A toy programming language with effects and contracts

Rust - Released: 03 Feb 2020 - 7

coc

The calculus of constructions

Rust - Released: 28 Aug 2021 - 6

sml-libs-scraper

Scraper for online SML libraries

TypeScript - Released: 13 Jun 2022 - 4