Mark Lemay's repositories
scala-validations
macro validations for common string like constructs
GraphAutomata
a library for manipulating and learning graph automata
tptpParser
an xtext based parser for the tptp grammer.
calculus-of-constructions
a simple implementation of the pure calculus of constructions
IntelliJATS
An ATS Plugin for IntelliJ IDEA.
agda
Agda is a dependently typed programming language / interactive theorem prover.
bibliography
bibliography
boston-university-thesis-template
copy of the boston university thesis template
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ddynamic-web
a frontend for ddynamic
dtest-coq
coq files of dtest
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
EnergyPlus
EnergyPlus™ is a whole building energy simulation program that engineers, architects, and researchers use to model both energy consumption and water use in buildings.
gbXML_Schemas
Includes current and previous versions of the Green Building XML (gbXML) schema
haskell-examples
see if the webasm sample proj will build with CI
hint
Runtime Haskell interpreter
latex-action
:octocat: GitHub Action to compile LaTeX documents
martin-lof
papers of Per Martin Löf
mcb
Mathematical Components (the Book)
neuralnetworksanddeeplearning.com.pdf
editing out asides and parentheticals LaTeX/PDF + Epub version of the online book (http://neuralnetworksanddeeplearning.com) ”Neural Networks and Deep Learning“ by Michael Nielsen (@mnielsen)
oplss-notes-2019
Notes and handouts from OPLSS 2019
pi-forall
A demo implementation of a simple dependently-typed language
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Vanilla-Conquer
Vanilla Conquer provides clean, cross-platform builds of the C&C Remastered Collection and the standalone legacy games.
wiwinwlh
What I Wish I Knew When Learning Haskell