Discover @isovector Open Source projects

Sandy Maguire (@isovector)

isovector

Stars
2,049
Global Rank 15,014 (Top 0.6 %)
Followers 1,131
Following 165
Registered over 14 years ago
Most used languages

Haskell
53.8 %

Python
4.5 %

HTML
4.5 %

Lua
3.8 %

C++
3.8 %

Agda 3.8 %

Shell
3.8 %

Scala
3.2 %

JavaScript
2.6 %

C
2.6 %

TeX
1.9 %

PHP
1.9 %

CoffeeScript
1.3 %

C#
1.3 %

Vim Script
1.3 %

Java
1.3 %

Perl
1.3 %

Others 3.0 %
Location 🇨🇦 Canada
Country Total Rank 478
Country Ranking

Haskell
2

Agda 4

Lean 5

Elm
16

Vim Script
65

Scala
93

Lua
106

TeX
107

Nix
124

CoffeeScript
144

HTML
229

Perl
303

C
707

Shell
787

Rust
926

C#
1,139

C++
1,167

PHP
1,917

JavaScript
2,067

CSS
3,668

Python
4,582

Java
5,384

thinking-with-types

📖 source material for Thinking with Types

algebra-driven-design

Source material for Algebra-Driven Design

cornelis

agda-mode for neovim

ecstasy

💊 a GHC.Generics-based entity component system

type-errors

⚠️ tools for writing better type errors

suavemente

💃 an applicative functor that seamlessly talks to HTML inputs

cccc

🖼️ the compiling to closed categories compiler

type-sets

type level sets

typecraft

⭐ it's a starcraft clone but with a dope typesystem

do-notation

deprecated in favor of -XQualifiedDo

algebra-checkers

checkers for algebra driven design

jazz

i bet you there is a typesystem behind music

adventure

an open-source MOAI based point-n-click graphical adventure engine

same-same

🤳 ignore the differences between `a` and `Identity a`

prospect

⛏️ static analysis of free monads

dynahaskell

the dynabook but for haskell

certainty-by-construction

sequoia

🌳 a monadic FRP game library for haskell

reasonablypolymorphic.com

⏳ my math blog

nimic

a language about nothing

constraints-emerge

📤 defer instance resolution until runtime

afro-kravitz

it's a guitar jammer

latex-live-snippets

deprecated by `design-tools`

marlo

a search engine for humans

wide-open-world

the global haskell instance repository

containers-good-graph

It's Data.Graph, but it doesn't suck!

ghci.vim

↔️ tight ghci integration for vim

th-dict-discovery

🐙 discover Dicts

hs2

a new, WIP Haskell compiler

circuitry

the missing haskell circuit diagram library

talks

repository for talks I'm giving

nullification

the game i've wanted to exist for a decade

ldtk-types

transitive-anns

transitively track and reify annotations across a codebase

blagda

agda blogging based on 1lab

time2jam

🏀 an FRP basketball video game

httw

is it a new book???

tino

new dotfiles system

canada-t

🇨🇦 the canada monad transformer

ld52

lasercutter

high-powered tree parser

wheatley

haskellwingman.dev

compiling-to-categories-redux

we're TRYING AGAIN with @maybevoid

wfc

wave function collapse

jps

👉 jump point search for Haskell

hs-vexflow

a haskell DSL for generating vexflow

hatred

haskell typesetting

design-tools

tools for design and interpretation of haskell programs

hskit

luakit but in haskell

lesswrong-chronological-ebook

All of Eliezer's Overcoming Bias / Less Wrong posts, in chronological order, in one handy epub

iwmag

it's a platformer written on top of sequoia and ecstasy

textbooks

Writing textbooks is a good way to learn things

take2

the real accio analytics platform

neptune

ngs

no giant strings

reviews

Repository for technical reviews I do

seasoned-pine

it's like anki but it sucks less

free-m32

linux HID driver for Native Instruments M32

sandymaguire.me

http://sandymaguire.me

denotational-arithmetic-zurihac

composition

lua-stg

a STG interpreter in lua

the-millions-of-gestures

the millions of gestures that constitute life on earth

haskell-realtime-midi

realtime streaming midi events from instruments

arduino

My arduino projects

bones

haskell skeletal animation support for Spriter exported .scon files

pplmonad-mirror

mirror of https://hub.darcs.net/linearity/pplmonad

type-diagrams

draw types in the style of Thinking with Types' cover

magic-debug

A GHC plugin to magically print any type you want

free-est

category-theory

eden

an editor of perfect happiness and bliss

math-fracking

HIGHLY PRESSURIZED MATH EXTRACTION

papers

I will read and engage with one paper a week.

circus

everyone-screams-for-haskell

let's write a compiler

agda-playground

THE-POLKANATOR

erdos

conceptual-mathematics

juicy

the slickest, wettest, sexiest compiler

percentile-feedback

autogenparfunpro

automatic generic parallel function programming

sandbox

trying to grok dependent types

rpg-gen

a procedurally generated RPG

goal-tracker

math135

lean proofs of math135

canlii-scraper

lets-recurse

exercises with recursion schemes

social-calendar

get emails when you want to see people

data-quadtree

algebraic quadtree

qkontrol-mirror

mirror of https://www.native-instruments.com/forum/threads/qkontrol-an-open-source-mapping-editor-for-the-komplete-kontrol-mk2-on-linux-and-mac.333887/

shiatsu

massage text documents

ld53

improvised

🎷 test Haskell with ease

futarchy

Blockchain based democracy

desklights

a little program to control the color of my desk

provenance

track data provenance

rust-exercises