
Lists (7)
Sort Name ascending (A-Z)
🎈 Entertainment
Things for fun unrelated to learning or developing.🏷️ GitHub
Projects useful for working with GitHub.#️⃣ Development
Systems and tools for developing other systems and tools.🏠 Primary
Projects for which I am the primary maintainer.📚 Learn
Learning resources.🗄️ Reference
Reference material.🕸️ Web
Web projects, libraries, and tools.Starred repositories
Organization repository for Symtegration, including the organization profile.
IHaskell extension for making the use of Symtegration more seamless with IHaskell.
Generates the web site for Symtegration, a Haskell library for symbolic integration.
Haskell library for symbolic integration.
API for protocol buffers using modern Haskell language and library patterns.
chungyc / ihaskell
Forked from IHaskell/ihaskell-notebookPersonal fork of IHaskell for loading custom modules.
Random IHaskell notebooks for learning random topics on Haskell.
Personal blog of Yoo Chung with random musings on recent events and random topics.
A flexible Haskell API for querying the GitHub REST API
A black hole raytracer written in Haskell
A static website compiler library in Haskell
How to use hakyll together with citeproc for bibliographies on your website
Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at
Educational computer programming environment using Haskell
Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and comparing solutions.
An introduction to programming language theory in Agda