Discover isovector/cornelis Open Source project

Stars
96
Rank 351,245 (Top 7 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 3 years ago
Updated over 1 year ago

isovector

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

agda-mode for neovim

thinking-with-types

📖 source material for Thinking with Types

Haskell

437

algebra-driven-design

Source material for Algebra-Driven Design

Haskell

113

ecstasy

💊 a GHC.Generics-based entity component system

Haskell

type-errors

⚠️ tools for writing better type errors

Haskell

suavemente

💃 an applicative functor that seamlessly talks to HTML inputs

Haskell

cccc

🖼️ the compiling to closed categories compiler

Haskell

type-sets

type level sets

Haskell

typecraft

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

Haskell

do-notation

deprecated in favor of -XQualifiedDo

Haskell

algebra-checkers

checkers for algebra driven design

Haskell

jazz

i bet you there is a typesystem behind music

JavaScript

adventure

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

Lua

same-same

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

Haskell

prospect

⛏️ static analysis of free monads

Haskell

dynahaskell

the dynabook but for haskell

Haskell

certainty-by-construction

Agda

sequoia

🌳 a monadic FRP game library for haskell

Haskell

reasonablypolymorphic.com

⏳ my math blog

HTML

nimic

a language about nothing

Haskell

constraints-emerge

📤 defer instance resolution until runtime

Haskell

afro-kravitz

it's a guitar jammer

Elm

latex-live-snippets

deprecated by `design-tools`

Haskell

marlo

a search engine for humans

HTML

wide-open-world

the global haskell instance repository

Haskell

containers-good-graph

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

Haskell

ghci.vim

↔️ tight ghci integration for vim

Vim Script

th-dict-discovery

🐙 discover Dicts

Haskell

hs2

a new, WIP Haskell compiler

circuitry

the missing haskell circuit diagram library

Haskell

talks

repository for talks I'm giving

Haskell

nullification

the game i've wanted to exist for a decade

Haskell

ldtk-types

Types for ldtk

Haskell

transitive-anns

transitively track and reify annotations across a codebase

Haskell

blagda

agda blogging based on 1lab

Agda

time2jam

🏀 an FRP basketball video game

httw

tino

canada-t

🇨🇦 the canada monad transformer

Haskell

ld52

Haskell

lasercutter

high-powered tree parser

wheatley

haskellwingman.dev

compiling-to-categories-redux

we're TRYING AGAIN with @maybevoid

Haskell

wfc

wave function collapse

jps

👉 jump point search for Haskell

Haskell

hs-vexflow

a haskell DSL for generating vexflow

Haskell

hatred

haskell typesetting

Haskell

design-tools

tools for design and interpretation of haskell programs

Haskell

hskit

luakit but in haskell

Haskell

lesswrong-chronological-ebook

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

Shell

iwmag

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

Haskell

textbooks

Writing textbooks is a good way to learn things

TeX

take2

the real accio analytics platform

neptune

ngs

reviews

Repository for technical reviews I do

Haskell

seasoned-pine

it's like anki but it sucks less

Haskell

free-m32

linux HID driver for Native Instruments M32

Haskell

sandymaguire.me

http://sandymaguire.me

HTML

denotational-arithmetic-zurihac

Agda

composition

lua-stg

a STG interpreter in lua

Lua

the-millions-of-gestures

the millions of gestures that constitute life on earth

TeX

haskell-realtime-midi

realtime streaming midi events from instruments

Haskell

arduino

My arduino projects

C++

bones

haskell skeletal animation support for Spriter exported .scon files

Haskell

pplmonad-mirror

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

Haskell

type-diagrams

draw types in the style of Thinking with Types' cover

Haskell

magic-debug

A GHC plugin to magically print any type you want

free-est

category-theory

eden

an editor of perfect happiness and bliss

Haskell

math-fracking

HIGHLY PRESSURIZED MATH EXTRACTION

Haskell

papers

I will read and engage with one paper a week.

circus

dot but in hs

Haskell

everyone-screams-for-haskell

let's write a compiler

agda-playground

THE-POLKANATOR

erdos

conceptual-mathematics

Agda

juicy

the slickest, wettest, sexiest compiler

Scala

percentile-feedback

CoffeeScript

autogenparfunpro

automatic generic parallel function programming

Agda

sandbox

trying to grok dependent types

Haskell

rpg-gen

a procedurally generated RPG

Haskell

goal-tracker

Haskell

math135

lean proofs of math135

Lean

canlii-scraper

Python

lets-recurse

exercises with recursion schemes

Haskell

social-calendar

get emails when you want to see people

Haskell

data-quadtree

algebraic quadtree

Haskell

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/

C++

shiatsu

massage text documents

Haskell

ld53

Haskell

improvised

🎷 test Haskell with ease

Haskell

futarchy

Blockchain based democracy

Haskell

desklights

a little program to control the color of my desk

Haskell

provenance

track data provenance

rust-exercises

iwmag2

isovector/cornelis

isovector

Reviews

Repository Details

More Repositories