Discover isovector/adventure Open Source project

Stars
26
Rank 930,752 (Top 19 %)
Language
Lua
License
Other
Created over 13 years ago
Updated about 11 years ago

isovector

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

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

thinking-with-types

📖 source material for Thinking with Types

Haskell

437

algebra-driven-design

Source material for Algebra-Driven Design

cornelis

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

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/adventure

isovector

Reviews

Repository Details

More Repositories