jyp/dvi-processing jyp/dvi-processing

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jyp/dvi-processing
github

jyp

Reviews

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

Repository Details

Processing of dvi files

More Repositories

1

dante

Emacs Lisp
388
star
2

boon

Ergonomic Command Mode for Emacs
Emacs Lisp
321
star
3

styx

A nix-based Haskell project manager
Haskell
160
star
4

nano-Agda

Tiny type-checker with dependent types
Haskell
76
star
5

attrap

ATtempt To Repair At Point (emacs flycheck extension)
Emacs Lisp
40
star
6

prettiest

The Prettiest Printer
Haskell
35
star
7

sctt

Type-Theory in Sequent Calculus
Haskell
13
star
8

glpk-hs

Haskell bindings to glpk
Haskell
12
star
9

topics

Various interesting topics I'm looking at
Haskell
12
star
10

MarXup

Markup language on top of Haskell
Haskell
11
star
11

emacs-semantics-theming

Foundation for building semantically meaningful themes over emacs
Emacs Lisp
11
star
12

lp-diagrams

An EDSL for diagrams based based on linear constraints
Haskell
7
star
13

lcr

Lightweight coroutines in elisp
Emacs Lisp
6
star
14

ProbInfer

Material for the course
Haskell
5
star
15

linear-smc

Linear Types, Symmetric Monoidal Categories, and Tensors
Haskell
5
star
16

organ

Haskell
4
star
17

hcad

Haskell library for CAD
Haskell
4
star
18

ControlledFusion

Haskell
3
star
19

inox

A language with linear types
Haskell
3
star
20

lp-diagrams-svg

SVG backend for lp-diagrams
Haskell
3
star
21

typography-geometry

Drawings for printed text documents
Haskell
3
star
22

TTNameBinders

Adventures with names and binders in type-theory
Haskell
3
star
23

whynote

Minimal Note Taking program
Haskell
3
star
24

FOL

Minimal FOL prover
Haskell
2
star
25

gasp

Another Haskell Prelude for Algebraic Classes and Structures
Haskell
2
star
26

imbib

bibtex management functions and gui
Haskell
2
star
27

hgal

Haskell Graph Automorphism Library
Haskell
2
star
28

polynomials-bernstein

Haskell
2
star
29

Cake

Build system as a Haskell library
Haskell
2
star
30

Parsek

The Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes
Haskell
1
star
31

Generic-Programming-WIth-Dependent-Types

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

labeled-tree

Haskell labeled trees
Haskell
1
star
33

sparse-matrix

sparse matrix represented as quad-tree
Haskell
1
star
34

nnn

Not a Neural Network library
Haskell
1
star
35

labeled-graph

Haskell Labeled Graph
Haskell
1
star
36

nofib

Haskell
1
star
37

cmap

emacs: do at point
Emacs Lisp
1
star
38

python-ht24

live coding results
Python
1
star