Ray Shih's starred repositories
difftastic
a structural diff that understands syntax 🟥🟩
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
Idris2-boot
A dependently typed programming language, a successor to Idris
haskell-resources
A List of Foundational Haskell Papers
haskell-code-explorer
Web application for exploring and understanding Haskell codebases
awesome-haskell-deep-learning
In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
cellularAutomata
a collection of cellular automata written in Haskell with Diagrams
agda-mode-vscode
agda-mode on VS Code
haskellings
An automated tutorial to teach you about Haskell!
tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
ghc-exactprint
GHC version of haskell-src-exts exactPrint
hls-tutorial
A tutorial on writing Haskell Language Server plugins
write-a-programming-language
How to make a new language(and why we shouldn't?)
real-world-purescript-workshop-2019
Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.
infer_workshop
An interactive workshop on implementing AlgorithmW in Kotlin
control-spec
unit test framework for idris2