Discover justinwoo/purescript-type-isequal Open Source project

Easy PureScript (and other tools) with Nix

437

easy-purescript-nix

A simple Purescript JSON library that uses types automatically

193

purescript-simple-json

a simple react application using RxJS for data flow

133

react-rxjs-flow

Example repository for testing React components using Karma and Webpack. This is likely outdated, it's been 3+ years.

103

react-karma-webpack-testing

A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally

103

vidtracker

A library for generating Typescript types that can be used transparently from Purescript.

purescript-ohyes

my blog posts, about purescript, nix, rust, haskell, etc.

my-blog-posts

purescript-toppokki

A binding to puppeteer to drive headless Chrome.

A Purescript library for working with fetch for HTTP requests

purescript-milkis

This is a repository for a docs site on how to figure things out in PureScript as recommended by me.

purescript-resources

Shell

format-nix

A simple formatter for Nix using tree-sitter-nix.

An attempt to catalog RowList/RowToList/row type content and memes

awesome-rowlist

spago2nix

Generate a derivation of Spago dependencies, and use them to install them into the directory structure used by Spago.

Extra functions for working with Records

purescript-record-extra

A Cycle.js-like utility for working with Purescript-Event

purescript-choco-pie

deprecated. this package likely does not work anymore.

elm-simple-loader

redux-rx-fun

redux & rx fun

a scroll table using cycle.js

cycle-scroll-table

TypeScript

easy-dhall-nix

Derivations for easily downloading Dhall binaries and putting them to use.

Fork of react-basic-starter using Package sets

spacchetti-react-basic-starter

Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.

real-world-purescript-workshop-2019

HTML

easy-markdown-beamer-pandoc

Simple things nobody tells you how to do

rough translation of http://www.simple.gy/blog/infinite-bacon/ into react/rxjs code

react-rxjs-scroll

A web audio player demo using Halogen for skipping in different increments

purescript-web-audio-player-demo

A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes

purescript-bismuth

An example of how PureScript outputs are just CommonJS modules that you can use in any way you want.

purescript-parcel-example

PureScript 0.12.0 Hello World

purescript-0.12.0-hello-world

Little demo using Elm from Cycle.js as a driver

cycle-elm-etch-sketch

this is a very old demo which will not work with newer versions of elm.

elm-scroll-table

HTML

halogen-parcel-hot-reload-demo

An example of one way you could use hot reloading with Halogen.

Basic Purescript wrapper for node-sqlite3

purescript-node-sqlite3

because nobody really wants to eat boiled silkworms

purescript-bundaegi

Tool to derive a Nix expression from a psc-package.json configuration.

psc-package2nix

Provides a Aff interface to Node Child Process Spawn

purescript-sunde

A helper to save me some keystrokes from nix-prefetch-git.

prefetch-github

Rust

new-purescript-mode

A new, simple purescript mode for cheap syntax highlighting

Emacs Lisp

purescript-lenient-html-parser

A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup

just an example of how simple ADTs should have JSON serialization and deserialization automatically derived

purescript-serialized-actions

A library for applying a row of rules for validation to refine a value

purescript-home-run-ball

demo showing random housing costs from around the world (through a variety of channels: expedia hotels, same day check-ins, airbnbs, student dormitories). uses cyclejs drivers to drive the charts

housing-costs-maps

this repo demonstrates calling purescript from javascript through the output.

call-ps-from-js

A Purescript interface to xstream

purescript-xstream

A guide for those who are stuck not being able to migrate their apps away from JS/TypeScript/Flow. See index.tsx

actually-typing-your-react-redux-program

TypeScript

purescript-cycle-run

A Purescript interface to Cycle.js using xstream

A Telegram Bot example in Purescript using Yahoo's Weather API

weather-telegram-bot

a purescript-cycle and halogen etch sketch demo

purescript-cycle-etch-sketch

A tutorial for how to use Purescript's Foreign Generics library

purescript-howto-foreign-generic

...may no one else ever need this code

godforsaken-dynamic-width-scroll-table

A library for PureScript 0.12 using Record-Format to parse urls with a template.

purescript-kushiyaki

This is vidtracker but with a Rust backend. PureScript frontend.

A catalog of my PureScript libraries with some notes about what they are, what they do.

my-purescript-libraries

Shell

purescript-makkori

A simple PureScript binding to Express made for easy interop.

A demonstration of how to work with puppeteer using node2nix.

puppeteer-node2nix

Sum types with Generics-Rep instances to Variant for free!

purescript-kishimen

If/Else rendering components for React

react-if-else

A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.

purescript-biang

Another Psc-Package Nix tool

psc-package-nix

A library that combines Simple-JSON, Milkis (Fetch), and Chirashi (Error subtypes).

purescript-ochadzuke

for downloading "YoutubeCasts" with Youtube-dl

ytcasts

Some kind of CLI for building PureScript projects with Psc-Package

purp

Cool type-safe Symbol query parameterized helper for Node-SQLite3

purescript-jajanmen

A simple distribution of psc-package using NPM.

npm-psc-package-bin-simple

packages.dhall to local psc-package set

soba

Rust

purescript-kushikatsu

Simple routing with Kushiyaki.

a markdown to inline-styled HTML conversion tool, for whichever crappy CMS you use

md2sht

A library for working with unlimited type-level naturals using an encoding of . in Symbol.

purescript-tanghulu

A repository for the demo I posted here: https://gist.github.com/justinwoo/0f4b2a96aebbe3293612

react-14-rx-fake-elm-arch

a pairwise records operation demo with GHC8 generics and generic-lens

records-fields-pairwise

react-basic-thing

really terrible telegram chatbot for kicking off my torscraper

simple-rpc-telegram-bot

reactjs + gridster demo with barely any functionality

gridster-component

ember-cli add-on for serving out static JSON files as "endpoints" along with the static files served

ember-cli-api-stub-static

A subset of the node telegram bot API in Purescript

why-nix-shorts-talk

CSS

purescript-node-telegram-bot-api

sometimes you need one to test some bullshit

.dotfiles

my dotfiles

Emacs Lisp

empty-repo

purescript-etch-sketch

A Purescript etch-a-sketch written with Pux

Cool query building library for Node-SQLite3

purescript-bingsu

Some bindings to work with Redux DevTools.

purescript-redux-devtools

Another wrapper for ECharts using Union to take records of subsets of allowed fields. Based off of the ideas in React-Basic.

purescript-gomtang-basic

an elm etch sketch view embedded in a halogen app

purescript-halogen-elm-etch-sketch

Fixed scroll element for React using RxJS

react-fixed-scroll-element

An easy ini library for PureScript

purescript-tortellini

An introduction to Foreign Function Interface with PureScript, using FFI imports to call JS from PureScript, calling PureScript from JS, and calling JS from PureScript as arguments from JS.

purescript-ffi-intro

An implementation for working with JS Promises via specifications. For when you want to make use of existing mechanisms in JS libs and debugging tools.

purescript-bonjiri

An easy way to work with Errors by inserting a Variant, and reading it out later.

purescript-chirashi

When you have bundled PureScript modules, FFI imports will also be stripped down to what is actually exposed and used.

ffi-imports-bundle

Material for a small introduction including multiple parameter type classes, non-type kinds, and instance chains

purescript-typelevel-intro

A helper library for constraining types to be Elm port-safe and for providing helpers to codegen Elm types.

purescript-kancho

godawful but almost good purescript code generation with Generics-SOP + Records SOP

godawful-purescript-codegen-demo

These were the posts for the Advent of Justin 2018 on Qiita

advent-of-justin-2018

torscraper

the simplest torrent scraper, doesn't handle anything special

A simple example for ports in Elm, useful for interop with javascript.

elm-simple-ports-example

Elm

update-fetch

for updating fetch attributes in nix expressions

Rust

enum-sum-generics-example-simple-json

Example of parsing "enum" style sums using generics with Simple-JSON

easy-ormolu-nix

a tracking application for some of my files written with the Haskell, Elm, Redis, and Scotty (HERS?) stack?...

tracker-hs

Experimental fork of Milkis using Bonjiri.

purescript-calpis

let's install everything from spacchetti

100

acme-spago