Pinned Repositories
clp_term
Constraint Logic Programming for Terms
decl-lists
directed-cubical
Finite Directed Cubical Complexes and associated algorithms
fregetalk
Public talk on Frege
intro-machine-learning
lfp-dependent-types
lfp-intro-declarative
London Functional Programmers: Intro to Declarative Programming with Prolog
lfp-recursion-schemes
lfp_validation
reif_utils
mmisamore's Repositories
mmisamore/reif_utils
mmisamore/fregetalk
Public talk on Frege
mmisamore/lfp-intro-declarative
London Functional Programmers: Intro to Declarative Programming with Prolog
mmisamore/clp_term
Constraint Logic Programming for Terms
mmisamore/decl-lists
mmisamore/lfp-recursion-schemes
mmisamore/lfp-tictactoe
mmisamore/intro-machine-learning
mmisamore/lfp-dependent-types
mmisamore/lfp_validation
mmisamore/aesforth
mmisamore/eta
The Eta Programming Language, a dialect of Haskell on the JVM
mmisamore/eta-first
mmisamore/intro-data-science
Exercises for Udacity's Introduction to Data Science Course
mmisamore/iris
mmisamore/lfp-fors
mmisamore/lfp-parsers
mmisamore/lfp_folds
mmisamore/lfp_handling_failures
mmisamore/liquidhaskell-examples
mmisamore/mmisamore.github.io
Blog
mmisamore/neovim-config
mmisamore/probabilities
mmisamore/purs-tic-tac-toe
mmisamore/pux-demo
PureScript Pux demo
mmisamore/titanic
mmisamore/titanic-redux
mmisamore/tourette-london
mmisamore/udacity-deeplearn
mmisamore/voting-client