jyp/prettiest

Stars
34
Rank 745,370 (Top 16 %)
Language
Haskell
License
GNU General Publi...
Created over 9 years ago
Updated 4 months ago

jyp/prettiest

jyp

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

The Prettiest Printer

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)

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

gasp

Another Haskell Prelude for Algebraic Classes and Structures

imbib

bibtex management functions and gui

Cake

Build system as a Haskell library

FOL

Minimal FOL prover

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