Starred repositories
Mintty as a terminal for Bash on Ubuntu on Windows / WSL
HoTTEST Summer School materials
An experimental proof assistant based on a type theory for synthetic ∞-categories.
A free book: "The Science of Functional Programming"
A stream-based runtime-verification framework for generating hard real-time C code.
FlashCard open source website https://izidict.com
Material for the "Category Theory as a Tool for Thought" talk
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Template for a Haskell project.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
hoodle : A pen notetaking program written in haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Web application for exploring and understanding Haskell codebases
Feedback services for intelligent tutoring systems
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Haskoin Store is a blockchain storage service with a RESTful API
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Proposed compiler and language changes for GHC and GHC/Haskell
A modified version of the University of Pennsylvania's CIS194