monoidmusician Goto Github PK

bezier-calligraphy

blog

bluetooth-keyboard-emulator

Swift Bluetooth HID Keyboard Emulator

c172p-detailed

A high detailed version of the C172P aircraft for FlightGear

colorwheel

Experiments with chromatic colors & chromatic notes!

css-shorthand-expand

Expand CSS shorthand properties

dhall-haskell

A configuration language guaranteed to terminate

dhall-lang

A configuration language guaranteed to terminate

dhall-purescript

Dhall implementation in PureScript

documentation

Documentation for the PureScript language, compiler, and tools.

fgcyborg-x

My personal bindings for the Saitek Cyborg-X in FlightGear. Hopefully an inspiration for others to take, use, and improve!

function-plot

2d function plotter on steroids!

harpsynthorg

Experimenting with a harpsichord-like synthesizer in Max/MSP.

hash_framework

Framework for studying cryptographic hash functions using SAT.

haskell-papers

https://mitchellwrosen.github.io/haskell-papers

keyboard_mouse_emulate_on_raspberry

Bluetooth Keyboard Mouse Emulator on Raspberry Pi

latin-syntax

lean-math-stuff

mathlib

Lean mathematical components library

monoidmusician.github.io

normalises

pantheum

Latin (+more) website, git repo.

pantheumpurescript

Website redux. The right way.

project1template

Use this code to recreate your own parametric equations to make generative art.

purerl

Erlang backend for the PureScript compiler

purescript

A small strongly typed language that compiles to Javascript

purescript-backend-optimizer

Optimizing backend toolkit and modern ECMAScript backend for PureScript

purescript-behaviors

A simple push-pull FRP implementation

purescript-bolson

An FRP application builder

purescript-boomboom

Never hard code your urls again - you can just boom in both directions now!