Pinned Repositories
algorithms-java
Algorithms in Java
algorithms-python
Algorithms in Python
data-structures-java
Data structures in Java
dot-files
My personal dot files
fcc-coq
Formula choice calculus
fp-haskell
Functional programming in Haskell
group-theory-haskell
Group theory in Haskell
stlc-coq
Simply typed lambda calculus in Coq
stlc-haskell
Simply typed lambda calculus in Haskell
xpath-kotlin
XPath in Kotlin
hubbards's Repositories
hubbards/stlc-haskell
Simply typed lambda calculus in Haskell
hubbards/group-theory-haskell
Group theory in Haskell
hubbards/stlc-coq
Simply typed lambda calculus in Coq
hubbards/xpath-kotlin
XPath in Kotlin
hubbards/algorithms-java
Algorithms in Java
hubbards/algorithms-python
Algorithms in Python
hubbards/data-structures-java
Data structures in Java
hubbards/dot-files
My personal dot files
hubbards/fcc-coq
Formula choice calculus
hubbards/fp-haskell
Functional programming in Haskell
hubbards/grammar-scala
Context-free grammar in Scala
hubbards/guessing-game-elm
Guessing game web app in Elm
hubbards/karel-scala
Karel programming language in Scala
hubbards/latex-macros
My LaTeX macros
hubbards/nlc-scala
Nameless lambda calculus in Scala
hubbards/noaa-haskell
Client for CDO Web Services API in Haskell
hubbards/nst-haskell
Nested sequence of tuples algebra in Haskell
hubbards/relational-algebra-haskell
Relational algebra in Haskell
hubbards/sequence-alignment-haskell
Sequence alignment in Haskell
hubbards/thesis
My MS thesis
hubbards/torus-puzzle-elm
Torus puzzle web app in Elm
hubbards/torus-puzzle-javascript
Torus puzzle web app in JavaScript
hubbards/vp-coq
Variational programming