mickey-is-codin

Mickey Smith's starred repositories

An implementation of React hooks on top of purescript-react-basic

Language:PureScriptApache-2.019900

Grammatical Framework core: compiler, shell & runtimes

Language:HaskellNOASSERTION12800

The PureScript Prelude

Language:PureScriptBSD-3-Clause16100

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellBSD-3-Clause747600

A strongly-typed language that compiles to JavaScript

Language:HaskellNOASSERTION850500

Algebraic graphs implementation in TypeScript

Language:TypeScriptMIT12600

Functional optics: a (partial) porting of Scala monocle

Language:TypeScriptMIT103200

Runtime type system for IO decoding/encoding

Language:TypeScriptMIT664500

Functional programming in TypeScript

Language:TypeScriptMIT1066200