Mike Solomon (mikesol)

mikesol

Geek Repo

Company:Antler

Location:Helsinki

Home Page:http://antler.co

Github PK Tool:Github PK Tool

Mike Solomon's starred repositories

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:24541Issues:637Issues:1881

etherpad-lite

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

Language:JavaScriptLicense:Apache-2.0Stargazers:16275Issues:353Issues:3115

Tone.js

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

Language:TypeScriptLicense:MITStargazers:13281Issues:211Issues:976

wavesurfer.js

Audio waveform player

Language:TypeScriptLicense:BSD-3-ClauseStargazers:8447Issues:166Issues:2084

togetherjs

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

Language:JavaScriptLicense:MPL-2.0Stargazers:7004Issues:353Issues:1039

Orca

Esoteric Programming Language

Language:JavaScriptLicense:MITStargazers:4486Issues:105Issues:165

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4068Issues:67Issues:1653

Kind1

A modern proof language

Language:JavaScriptLicense:MITStargazers:3531Issues:74Issues:213

faust

Functional programming language for signal processing and sound synthesis

Language:C++License:NOASSERTIONStargazers:2480Issues:88Issues:594

q

C++ Library for Audio Digital Signal Processing

Language:C++License:MITStargazers:1132Issues:44Issues:33

audio-super-res

Audio super resolution using neural networks

Language:PythonLicense:MITStargazers:1132Issues:25Issues:57

idris-jvm

JVM bytecode back end for Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:469Issues:29Issues:56

awesome-purescript

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

typelevel-ts

Type level programming in TypeScript

Language:TypeScriptLicense:MITStargazers:357Issues:18Issues:21

freesound

The Freesound website

Language:PythonLicense:AGPL-3.0Stargazers:309Issues:22Issues:1192

estuary

Platform for collaboration and learning through live coding

Language:HaskellLicense:GPL-3.0Stargazers:165Issues:8Issues:62

dovetail

A PureScript interpreter in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:118Issues:3Issues:25

faustide

Faust IDE (Integrated Development Environment)

Language:FaustLicense:NOASSERTIONStargazers:66Issues:7Issues:49

purescript-untagged-union

A Purescript data type for untagged unions

Language:PureScriptLicense:MITStargazers:48Issues:2Issues:13

purescript-tidy-codegen

Convenient codegen for PureScript

Language:PureScriptLicense:MITStargazers:28Issues:4Issues:13

idris2-rhone-js

Experimental JS bindings for idris2-rhone

Language:IdrisLicense:BSD-3-ClauseStargazers:21Issues:4Issues:2

purescript-dissect

Dissectible data structures for implementing iterative traversals.

Language:PureScriptLicense:BSD-3-ClauseStargazers:20Issues:1Issues:1

webaudio-patcher

Patch JavaScript and WebAudio like MaxMSP

Language:JavaScriptLicense:GPL-3.0Stargazers:18Issues:2Issues:0

grimheart

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

Language:OCamlLicense:BSD-3-ClauseStargazers:12Issues:0Issues:0

purescript-ssrs

Stack-safe recursion schemes on dissectible data structures.

Language:PureScriptLicense:BSD-3-ClauseStargazers:12Issues:1Issues:0

purescript-gesso

A Canvas element wrapper for Halogen and standalone PureScript applications

Language:PureScriptStargazers:8Issues:0Issues:0

idris2-todomvc

Experimental TodoMVC implementation in Idris2 using rhone-js

Language:IdrisLicense:BSD-3-ClauseStargazers:8Issues:0Issues:0
Language:PureScriptLicense:MITStargazers:4Issues:3Issues:1

purescript-tidal-parser

Parser for TidalCycles' mininotation, written in PureScript

Language:PureScriptLicense:GPL-3.0Stargazers:2Issues:2Issues:0