JordanMartinez/type-systems

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Created over 2 years ago
Updated almost 2 years ago

JordanMartinez/type-systems

JordanMartinez

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

purescript-jordans-reference

Learn PureScript with this "clone and play" repository

purescript-cookbook

An unofficial Cookbook for PureScript

learn-halogen

Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository

purescript-to-haskell

Helps a PureScript developer get more familiar with Haskell, so they can use Haskell as a web server

purescript-veither

A Variant that functions like Either but is extensible

purescript-interpolate

Enable string interpolation for PureScript

purescript-json-codecs

A bidirectional or unidirectional value-based or runtime-configurable typeclass-based JSON codec library.

purescript-halogen-hooks-extra

pure-conf-talk

Notes and files for my talk for PureConf 2022

purescript-node-execa

purescript-tidy-codegen-lens

Generate lenses and prisms for your data types automatically.

purescript-arrays-zipper

Zippers for arrays

purescript-ecosystem-update

Some code that helps us update the PureScript ecosystem when a breaking changes PureScript release is made

sudoku-solver

local-typeclass-instances

purescript-typelevel-rows

Convenience transformations for rows

purescript-tree-rose

Multi-way tree (Rose Tree) with Zippers

purescript-core

purescript-halogen-utils

Utility functions for PureScript Halogen

purescript-language-purescript

Types and codecs for the PureScript programming language written in PureScript

purescript-random-number-game

purescript-module-graph

An attempt a visualizing the output of `purs graph` in the browser

purescript-node-human-signals

A PureScript port of the `human-signals` JavaScript library

purescript-vexceptt

A version of `ExceptT` that uses `Veither`, an extensible `Either`.

purescript-types-and-programming-languages

PureScript port of the implementations for the book, Types and Programming Languages

jordanmartinez.github.io

purescript-tidy-codegen-quine

fixPackagesDhallFiles

Quoting the 'assert' package with backticks

purescript-generate-values

purescript-typelevel-codec-json

Use typeclass-based JSON codecs as though they were value-based JSON codecs

purescript-package-graph

_dotfiles

spago-next-bug

Shows a few bugs in the spago next

asciidoc-gradle-book-template

Provides a minimum Gradle Project template for writing a book via Asciidoc