Pinned Repositories
pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
bdd
cbigint
A BigInt library for C
doco
Documentation generator
go-ffmpeg
go-ffmpeg is a simple wrapper around the ffmpeg library
haskell-school-of-expression
code for Haskell School of Expression
psswrd-solver
pyscheme
A scheme in python
rust-stem
Porter's stemmer for rust
minhnhdo's Repositories
minhnhdo/rust-stem
Porter's stemmer for rust
minhnhdo/bdd
minhnhdo/doco
Documentation generator
minhnhdo/programming-language-foundations-in-idris
Programming language foundations in Idris
minhnhdo/programming-language-foundations-in-lean
Programming language foundations in Lean
minhnhdo/site
source for my hakyll site
minhnhdo/type-driven-development
minhnhdo/psswrd-solver
minhnhdo/say-number
Saying numbers using Rust
minhnhdo/99-prolog-problems
My solutions to 99 Prolog problems
minhnhdo/angler
Angler - a first-order probabilistic programming language
minhnhdo/azure-cosmos-tla
Azure Cosmos TLA+ specifications
minhnhdo/dev-tools
minhnhdo/dotfiles
my dotfiles
minhnhdo/emacs.d
Emacs configuration
minhnhdo/flix
The Flix Programming Language
minhnhdo/goc-nhin-alan
Blog posts on Góc Nhìn Alan (www.gocnhinalan.com) made into ebook form
minhnhdo/higher-angler
Higher Angler - a higher-order probabilistic programming language
minhnhdo/mastering-haskell
The slides for my Packt course, "Mastering Haskell".
minhnhdo/minhnhdo.github.io
My home page
minhnhdo/nom
Rust parser combinator framework
minhnhdo/pgo
PGo is a source to source compiler to compile PlusCal into Go lang
minhnhdo/pgu
Programming from the Ground Up
minhnhdo/probprog-presentation
minhnhdo/project-euler
Solutions for project Euler
minhnhdo/software-foundations
Software Foundations in Idris
minhnhdo/stackstorm-aws
minhnhdo/terraform-inventory
Terraform State → Ansible Dynamic Inventory
minhnhdo/upenn-haskell
Solutions for Haskell course from University of Pennsylvania
minhnhdo/xv6
shared memory subsytems for xv6 and sasos