mikesol

awesome-purescript

A curation of awesome PureScript libraries, resources and shiny things.

Kind1

A next-gen functional language

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

q

C++ Library for Audio Digital Signal Processing

webaudio-patcher

Patch JavaScript and WebAudio like MaxMSP

purescript-untagged-union

A Purescript data type for untagged unions

faustide

Faust IDE (Integrated Development Environment)

audio-super-res

Audio super resolution using neural networks

Orca

Esoteric Programming Language

purescript-gesso

A Canvas element wrapper for Halogen and standalone PureScript applications

faust

Functional programming language for signal processing and sound synthesis

purescript-tidal-parser

Parser for TidalCycles' mininotation, written in PureScript

grimheart

Grimheart is a purely functional programming language with a rich type system.

wavesurfer.js

Audio waveform player

freesound

The Freesound website

etherpad-lite

Etherpad: A modern really-real-time collaborative document editor.

togetherjs

A service for your website that makes it surprisingly easy to collaborate in real-time.

purescript-react-basic-emotion

idris2-todomvc

Experimental TodoMVC implementation in Idris2 using rhone-js

lean4

Lean 4 programming language and theorem prover

purescript-tidy-codegen

Convenient codegen for PureScript

peregrine

idris-jvm

JVM bytecode back end for Idris

Tone.js

A Web Audio framework for making interactive music in the browser.

estuary

Platform for collaboration and learning through live coding

dovetail

A PureScript interpreter in Haskell

typelevel-ts

Type level programming in TypeScript

purescript-ssrs

Stack-safe recursion schemes on dissectible data structures.

purescript-dissect

Dissectible data structures for implementing iterative traversals.

idris2-rhone-js

Experimental JS bindings for idris2-rhone