minhnhdo

rust-stem

Porter's stemmer for rust

bdd

doco

Documentation generator

programming-language-foundations-in-idris

Programming language foundations in Idris

programming-language-foundations-in-lean

Programming language foundations in Lean

site

source for my hakyll site

type-driven-development

psswrd-solver

99-prolog-problems

My solutions to 99 Prolog problems

angler

Angler - a first-order probabilistic programming language

azure-cosmos-tla

Azure Cosmos TLA+ specifications

dev-tools

dotfiles

my dotfiles

emacs.d

Emacs configuration

flix

The Flix Programming Language

goc-nhin-alan

Blog posts on Góc Nhìn Alan (www.gocnhinalan.com) made into ebook form

higher-angler

Higher Angler - a higher-order probabilistic programming language

mastering-haskell

The slides for my Packt course, "Mastering Haskell".

minhnhdo.github.io

My home page

nom

Rust parser combinator framework

pgo

PGo is a source to source compiler to compile PlusCal into Go lang

pgu

Programming from the Ground Up

probprog-presentation

project-euler

Solutions for project Euler

say-number

Saying numbers using Rust

software-foundations

Software Foundations in Idris

stackstorm-aws

terraform-inventory

Terraform State → Ansible Dynamic Inventory

upenn-haskell

Solutions for Haskell course from University of Pennsylvania

xv6

shared memory subsytems for xv6 and sasos