FintanH

Pinned Repositories

• free-me

  My exploration of Free by implementing the data type and a small IO example

  Language:Haskell4400

• haddock-tutorial

  Grokking Haddock, doctest and doctest-discover

  Language:Haskell4400

• haskell-study-dublin

  Launch your own Haskell study group. Now.

  6501

• miso-from-html

  Generate Miso code from HTML file

  Language:Haskell7412

• nonempty

  Correct by construction non-empty list

  Language:Rust0200

• radicle

  A peer-to-peer stack for code collaboration

  Language:Haskell00

• these

  These Data Type in Rust

  Language:Rust5303

• dhall-bhat

  Tasty meal of Dhall

  Language:Shell66241711

• dhall-rust

  Maintainable configuration files, for Rust users

  Language:Rust3051212927

• radicle-surf

  A code browsing library for VCS file systems.

  Language:Rust3268011

FintanH's Repositories