Stars
Primality testing algorithms using Haskell. Currently using AKS algorithm, more later.
A dependently typed language core (lambda calculus) written in Haskell.
Library and web application for live coding with Csound
Csound on the Web Tutorial site
The fastest JS Radix-4/Radix-2 FFT implementation, in PureScript
Este repositorio contiene un Jupyter Book con material complementario para las clases presenciales de Node Nation sobre Bitcoin. El libro incluye explicaciones, ejemplos y enlaces a recursos extern…
use your reMarkable as a graphics tablet
A curated list of projects related to the reMarkable tablet
A formalization of geometry in Coq based on Tarski's axiom system
Yet another parser for the ABC Notation
a 2D rigid body physics engine for the web ▲● ■
Ouroboros is a PureScript compiler written in PureScript.
A simple PureScript expression evaluation tool
High-Resolution Image Synthesis with Latent Diffusion Models
Turn your mouse or graphic tablet into a MIDI controller
A massively parallel, high-level programming language
Interactive Faust snippets in web pages
Various simple Web Audio API examples
Type Level Regular Expressions
Fast 🐆, type-safe vectors for Purescript
Vector operations heavily based in Functor composition
Bounties funded by the SCI. Click on issues to see active bounties.
Multi-way tree (Rose Tree) with Zippers
Unified parsing and printing for routes in PureScript
A tool to determine optimal projects for Gridcoin & BOINC crunchers. Maximize your magnitude!
PureScript crash course targeted at Elm developers