Pinned Repositories
fewtile
A tiled scoreboard for Jenkins
java-incredible-proof-machine
Exercises from the Incredible Proof Machine, translated into Java by the power of Curry-Howard.
jsasync
Async categories and Future monads for javascript
jsinfix
Example of js infix functions for a blog post
kleislify
Haskell: Arrow precompose/postcompose specialised to Kleislis
maybecake
Haskell programming puzzle using the Maybe data type
oneof
Java library for sum types, using run-time type inspection.
recordsystemstalk
Slides and some code from record systems talk at YOW lambdajam 2015
techtangents's Repositories
techtangents/fewtile
A tiled scoreboard for Jenkins
techtangents/java-incredible-proof-machine
Exercises from the Incredible Proof Machine, translated into Java by the power of Curry-Howard.
techtangents/kleislify
Haskell: Arrow precompose/postcompose specialised to Kleislis
techtangents/ablist
List of elements of alternating types
techtangents/dockernix
Nix on docker for a macos workstation
techtangents/fewtile2
Rewrite of Fewtile in Elm
techtangents/recordsystemstalk
Slides and some code from record systems talk at YOW lambdajam 2015
techtangents/docker-ibm-im
Dockerfile that creates a docker image with latest centos6 base image and IBM Installation Manager installed.
techtangents/drnix
Dockerfiles to package Nix in a minimal docker container
techtangents/elm-bug-675
Replication for https://github.com/elm-lang/Elm/issues/675
techtangents/exitcode
techtangents/experiment
techtangents/fast-check-talk
techtangents/figleaf
Super simple, lightweight configuration loader
techtangents/functionaljava
Functional Java
techtangents/javaeq
Tutorial on different ways to implement value equality in Java.
techtangents/jsverify
Property-based testing for JavaScript. Like QuickCheck.
techtangents/kinds-talk
Slides and code for "Values, Types and Kinds" talk, BFPG 2018
techtangents/monadjs
monadjs
techtangents/nix-shell-talk
techtangents/purescript-foldable-traversable
Classes for foldable and traversable data structures
techtangents/purescript-transformers
Monad and comonad transformers
techtangents/purescript-tuples
Tuple data type and utility functions
techtangents/replicate-honey-eof
techtangents/scalaz
An extension to the core Scala library for functional programming.
techtangents/statistics-gatherer-plugin
Jenkins plugin to capture queue and build statistics
techtangents/techtangents-theme
Hi. I'm a starter theme called _s, or underscores, if you like. I'm a theme meant for hacking so don't use me as a Parent Theme. Instead try turning me into the next, most awesome, WordPress theme out there. That's what I'm here for.
techtangents/typescript-incredible-proof-machine
techtangents/websphere-dev-ibm
Dockerfile that creates a docker image with WebSphere for Developers installed and IBM JDK 7
techtangents/ylj-reading-the-tea-leaves
Workshop & talk about Elm and Halogen (purescript) for YOW Lambda Jam 2017