🇦🇺 Made in Australia
Discover Australia's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Australia.
TOP Haskell Projects
tonymorris/fp-course
Functional Programming Course
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
qfpl/applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
z0w0/helm
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
benl23x5/gloss
Painless 2D vector graphics, animations and simulations.
dbousamra/hnes
🎮 NES Emulator written in Haskell
luke-clifton/shh
Simple shell like scripting from Haskell
tmcgilchrist/airship
Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.
seek-oss/serverless-haskell
Deploying Haskell applications to AWS Lambda with Serverless
discus-lang/ddc
The Disco Discus Compiler
A1kmm/proofsweeper
Play Minesweeper by formally proving your moves in Idris
liamoc/holbert
A graphical interactive proof assistant designed for education
erikd/language-javascript
Parser for JavaScript, in Haskell
g-ford/cradle
Let's Build a Compiler (in Haskell)
rdnetto/powerline-hs
A lightning fast reimplementation of the Powerline prompt generator in Haskell.
dmvianna/haskellbook
Exercise solutions for haskellbook.com
adamwalker/sdr
Software defined radio library in Haskell
crabmusket/haskell-simple-concurrency
Small examples of concurrency in Haskell.
qfpl/sv
Comma (and other) separated values
puffnfresh/sonic2
Sonic the Hedgehog 2 in Haskell
tonyday567/numhask
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
tranma/falling-turnip
falling sand game with regular parallel arrays.
discus-lang/salt
The compilation target that functional programmers always wanted.
qfpl/state-machine-testing-course
Course for learning how to apply property-based state-machine testing
istathar/vaultaire
Data vault for metrics
tmcgilchrist/postgresql-transactional
Transactional monadic actions on top of PostgreSQL.
hedgehogqa/haskell-hedgehog-classes
Hedgehog will eat your typeclass bugs
PapenfussLab/bioshake
Bioinformatics pipelines with Haskell and Shake
erikd/http-proxy
A Haskell library for writing HTTP and HTTPS proxies.
christian-marie/git-vogue
Make your Haskell git repositories fashionable.
liamoc/patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
liamoc/latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
puffnfresh/free-graphs
Generate GraphViz graphs by interpretting free monads.
liamoc/dixi
A wiki based on firm theoretical foundations
LightAndLight/qtt
Quantitative Type Theory implementation
LightAndLight/sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
Errorific/haskell-script-examples
Examples of tools for use in basic utility scripts
adamwalker/clash-riscv
A RiscV processor implementing the RV32I instruction set written in Clash
tranma/shitty-complexity
complexity testing for haskell
campezzi/haskell-ddd
Random DDD related things in Haskell
adamwalker/clash-utils
A collection of reusable Clash designs/examples
beijaflor-io/haskell-libui
Haskell bindings to the libui C library.
steshaw/lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
ldgrp/uptop
A terminal client for Up Bank written in Haskell âš¡.
liamoc/wizards
High level, generic library for interrogative user interfaces in Haskell
pschachte/wybe
A programming language supporting most of both declarative and imperative programming
erikd/haskell-big-integer-experiment
An experiment in re-implementing big integers in Haskell.
beijaflor-io/ghcjs-commonjs
Seamless calls of Haskell code from JavaScript modules
timbertson/nix-wrangle
Wrangle your nix dependencies
LightAndLight/sage
Efficient parser combinators for Haskell
puffnfresh/haskell-buildpack-demo
Demo of the Heroku Haskell Buildpack
jacobstanley/hadoop-tools
Tools for working with Hadoop, written with performance in mind.
jacobstanley/ssa-anf
SSA vs ANF
thsutton/aeson-diff
Generate and apply diffs between JSON documents.
qfpl/tasty-hedgehog
Tasty integration for the Hedgehog property testing library
erikd/jenga
Generate a cabal freeze file from a stack.yaml
mxswd/webcloud
Turn an optparse-applicative program into a CGI program!
mikeplus64/Level-0
Haskell Snake clone.
NICTA/cplusplus-th
C++ Foreign Import Generation
cuedo/github-webhooks
Haskell types and instances for decoding GitHub webhook payloads.
qfpl/propagator-examples
cleary/livecode
Live code, configs, and references for Tidalcycles, Punctual, Estuary, Supercollider and potentially others
bradparker/servant-beam-realworld-example-app
Exemplary fullstack Medium.com clone powered by Servant and Beam
qfpl/reflex-realworld-example
puffnfresh/crosscheck
Using QuickCheck to test functions in other languages/environments.
sordina/churros
simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
gwils/next-level-mtl-with-classy-optics
Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09
adrianwong/programming-in-haskell-2nd-edition
My solutions for "Programming in Haskell - 2nd Edition" (incomplete)
tonymorris/validation
Frost-Lord/HaskMate
HaskMate is a Haskell-based project monitoring and automation tool designed to continuously watches for changes in your Haskell source files and automatically triggers a rebuild and re-execution of the project whenever a modification is detected.
sseefried/open-epidemic-game
A game about exponential growth written in Haskell
liamoc/hilbert
An intensely interactive, graphical theorem prover based on natural deduction
dalaing/cofun
Cofun with Cofree Comonads
sordina/logody
concurrent process runner
koterpillar/tianbar
A status bar for XMonad using WebKit for rendering
EduardSergeev/monad-memo
Memoization monad transformer
qfpl/reflex-tutorial
puffnfresh/licentious
License your GitHub repository in seconds
mcapodici/badlanguage
A lisp-looking language with interpreter and compiler to JS
danielholmes/wolf3d-haskell
Wolfenstein 3D style game engine implemented in haskell
jcouyang/dhall-aws-cloudformation
Typecheck, template and modularize your AWS CloudFormation with Dhall
mxswd/editable
Derive editors for data types.
erikd/hjsmin
Haskell version of jsmin js minifier
christian-marie/servant-purescript
(defunct) Purescript client code generation for Servant
kfish/raft
Raft distributed consensus protocol (Haskell library)
tonyday567/chart-unit
Unital Charts
qfpl/papa
Reasonable Haskell default import
davidar/hs-ipfs-api
A Haskell client library for the IPFS API
LightAndLight/cbpv
A usable type system for call by push-value
tonyday567/mvc-todo
A haskell implementation of todoMVC
sordina/Deadpan-DDP
A Haskell DDP Client
mrphlip/aoc
Advent of Code
christian-marie/oauth2-server
Haskell libraries for implementing OAuth2 servers.
tonyday567/perf
high-resolution performance benchmarking
adamwalker/fpga-kvs
A networked FPGA key-value store written in Clash
RiugaBachi/necrophagy
A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
jacobstanley/idris-vba
Visual Basic for Applications (VBA) backend for Idris
dalaing/type-systems
LightAndLight/parametricity-proofs
Proofs of the number of inhabitants of polymorphic functions
mikeplus64/hotswap
Simple and high level interface to plugins for hotswapping haskell code.