jyp/Cake

Stars
2
Language
Haskell
License
GNU General Publi...
Created almost 12 years ago
Updated over 3 years ago

jyp/Cake

jyp

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

Build system as a Haskell library

dante

boon

Ergonomic Command Mode for Emacs

styx

A nix-based Haskell project manager

nano-Agda

Tiny type-checker with dependent types

attrap

ATtempt To Repair At Point (emacs flycheck extension)

prettiest

The Prettiest Printer

sctt

Type-Theory in Sequent Calculus

glpk-hs

Haskell bindings to glpk

topics

Various interesting topics I'm looking at

MarXup

Markup language on top of Haskell

emacs-semantics-theming

Foundation for building semantically meaningful themes over emacs

lp-diagrams

An EDSL for diagrams based based on linear constraints

lcr

Lightweight coroutines in elisp

ProbInfer

Material for the course

linear-smc

Linear Types, Symmetric Monoidal Categories, and Tensors

organ

hcad

Haskell library for CAD

ControlledFusion

inox

A language with linear types

lp-diagrams-svg

SVG backend for lp-diagrams

typography-geometry

Drawings for printed text documents

TTNameBinders

Adventures with names and binders in type-theory

whynote

Minimal Note Taking program

FOL

Minimal FOL prover

gasp

Another Haskell Prelude for Algebraic Classes and Structures

imbib

bibtex management functions and gui

hgal

Haskell Graph Automorphism Library

polynomials-bernstein

Parsek

The Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes

Generic-Programming-WIth-Dependent-Types

A translation to Agda of the paper with the same title of Altenkirch et al.

labeled-tree

Haskell labeled trees

sparse-matrix

sparse matrix represented as quad-tree

nnn

Not a Neural Network library

labeled-graph

Haskell Labeled Graph

nofib

cmap

emacs: do at point

dvi-processing

Processing of dvi files

python-ht24

live coding results