Pinned Repositories
control
A collection of functional control-flow primitives and utilities.
fcis-pear
Functional Core, Imperative Shell. A refactoring kata to illustrate this pattern.
idris-dimensions
Dimensions library in Idris
ml-unittest
A tiny little unit test framework to make life easier in ML
pandamonium
Messing around with game programming in Haskell using Gloss
redux-game
Basic library for building Haskell games
rust-game
spacontrolworkshop
Workshop using Control library for BCS SPA Conference 2018
StructuralSemanticHighlighter
testeverything
Test invariants across all classes on a classpath
writeoncereadmany's Repositories
writeoncereadmany/control
A collection of functional control-flow primitives and utilities.
writeoncereadmany/idris-dimensions
Dimensions library in Idris
writeoncereadmany/StructuralSemanticHighlighter
writeoncereadmany/redux-game
Basic library for building Haskell games
writeoncereadmany/spacontrolworkshop
Workshop using Control library for BCS SPA Conference 2018
writeoncereadmany/fcis-pear
Functional Core, Imperative Shell. A refactoring kata to illustrate this pattern.
writeoncereadmany/pandamonium
Messing around with game programming in Haskell using Gloss
writeoncereadmany/rust-game
writeoncereadmany/testeverything
Test invariants across all classes on a classpath
writeoncereadmany/blogsource
writeoncereadmany/bowling
A quick rendition of the bowling kata, in Java
writeoncereadmany/bowling_randori
writeoncereadmany/control-dojo
A step-by-step workshop through the key concepts in the co.unruly.control project
writeoncereadmany/elixir_learnings
Working through some books on Elixir
writeoncereadmany/GildedRose-Refactoring-Kata
Starting code for the GildedRose Refactoring Kata in many programming languages.
writeoncereadmany/hoodlums-exercises
A place to share exercises from Hoodlums
writeoncereadmany/idris-union
Experimenting with structurally typed unions in Idris. Probably a dead end, but let's see!
writeoncereadmany/minima-hs
Implementation of minima in Haskell
writeoncereadmany/minima-idris
Using Idris to implement Minima
writeoncereadmany/minimalang
Minimal implementation of a programming language using ANTLR4.
writeoncereadmany/pico8
Pico-8 game development
writeoncereadmany/python-game
writeoncereadmany/racket
Playing with Racket, including Beautiful Racket tutorials
writeoncereadmany/roman-numerals
Roman Numerals dojo
writeoncereadmany/scripto
JUnit5 extension to enable composable test scripts
writeoncereadmany/simple-binary-encoding
Simple Binary Encoding (SBE) - High Performance Message Codec
writeoncereadmany/style-council
Repository for submissions for the Style Council
writeoncereadmany/targetingdsl
Just a simple proof of concept about how easy it is to build a DSL in Java with Antlr
writeoncereadmany/tddi
Exercises from Type-Driven Development in Idris book
writeoncereadmany/writeoncereadmany.github.io