Discover luqui/sequent2 Open Source project by Luke Palmer (@luqui)

Stars
1
Language
Created over 12 years ago
Updated over 12 years ago

luqui

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

A new system (IDE/language) for organizing code.

vatican

A lazy specializing virtual machine for purely functional languages

C++

100

data-memocombinators

Pure memoization combinators for Haskell

Haskell

graphics-drawingcombinators

Combinators for drawing 2D shapes and images in Haskell (using OpenGL)

Haskell

hothasktags

A haskell ctags implementation that is aware of qualified imports, among other cool stuff

Haskell

Djest

A programming language that deduces code from tests

Haskell

dana

Dana - a purely functional (virtual) operating system

Haskell

quantum-arrow

A Haskell arrow for simulating quantum computation

Haskell

data-inttrie

A simple, lazy trie of integers

Haskell

control-monad-omega

A Haskell monad for fair enumeration of infinite sets.

Haskell

experiments

Miscellaneous small experiments with programming

Haskell

morphism

An experimental purely functional programming language

Haskell

polyrhythmia

Procedural generation of polyrhythmic beats

Haskell

manifesto

A(nother) structural editor (attempt) inspired by paredit

Haskell

frag

Purely functional foundations: IO-free haskell.

Haskell

infinite-search

An implementation of Martin Escardo's exhaustively searchable sets in Haskell.

Haskell

sequent

A logical/functional programming language based on sequent calculus

Haskell

weighted-search

A monad for weighted nondeterminism

Haskell

balder2d

A zero-gravity multiplayer shooter game.

udon

Universal Distributed Object Notation: data structures in distributed memory

Haskell

topology-extras

A Haskell module for topological spaces, inspired by Abstract Stone Duality

Haskell

practice-tools

A set of tools for piano practice

JavaScript

soylent

The legacy soylent software repository

C++

jsexp

A structural code editor in your web browser

JavaScript

space-shooter

A geometry wars derivative with composable enemies and procedural music.

plants

A plant DNA decoding simulation

Haskell

data-partition

A pure disjoint set (union-find) data structure

Haskell

big-sleep

Custom big sleep for AI-generated images and movies

Python

collada

A Haskell module for loading and rendering Collada 3D model files

Haskell

democracy-tools

Tools that facilitate and encourage informed, rational, democratic policy discussion

JavaScript

hetero-map

Pure heterogeneous maps for Haskell

Haskell

Codec-Image-DevIL

DevIL bindings for Haskell

Haskell

record-calculus

An assumption-tracking "object calculus"

Haskell

CodeCatalog

A social coding/code sharing site oriented around small, reusable snippets

JavaScript

merge3

A web-based 3 way interactive merge tool

PHP

typeclass-constructions

A repository for the Constructions on Typeclasses series of blog posts

Haskell

hacksmith

A language-independent structural editor

JavaScript

unamb-custom

Functional concurrency with unambiguous choice, using a custom scheduler.

Haskell

backward-state

A state monad that runs the state in reverse through the computation

Haskell

logic-db

A json predicate logic database (similar to datalog)

Haskell

graphics-geometrycombinators

Functional combinators for 3D geometry

Haskell

esp

A structural editor for Haskell

Haskell

coqplay

Verilog

fist

Functional Image System

Haskell

lukeper

A looper instrument for the APC40

Haskell

green-globs

A javascript clone of the educational graphing game Green Globs

JavaScript

wavelayer

"Perfect harmony" generation

Haskell

merlin-shipping

A shipping tracking system for Merlin's Herbal Roots

JavaScript

parsec-layout

Haskell-like layout combinators for parsec

Haskell

chromosomatics

A cute little framework for evolutionary programming

Haskell

luqui/sequent2

luqui

Reviews

Repository Details

More Repositories