jyp/nano-Agda jyp/nano-Agda

  • Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language
    Haskell
  • License
    Other
  • Created over 12 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jyp/nano-Agda
github

jyp

Reviews

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

Repository Details

Tiny type-checker with dependent types

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

attrap

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

prettiest

The Prettiest Printer
Haskell
35
star
6

sctt

Type-Theory in Sequent Calculus
Haskell
13
star
7

glpk-hs

Haskell bindings to glpk
Haskell
12
star
8

topics

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

MarXup

Markup language on top of Haskell
Haskell
11
star
10

emacs-semantics-theming

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

lp-diagrams

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

lcr

Lightweight coroutines in elisp
Emacs Lisp
6
star
13

ProbInfer

Material for the course
Haskell
5
star
14

linear-smc

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

organ

Haskell
4
star
16

hcad

Haskell library for CAD
Haskell
4
star
17

ControlledFusion

Haskell
3
star
18

inox

A language with linear types
Haskell
3
star
19

lp-diagrams-svg

SVG backend for lp-diagrams
Haskell
3
star
20

typography-geometry

Drawings for printed text documents
Haskell
3
star
21

TTNameBinders

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

whynote

Minimal Note Taking program
Haskell
3
star
23

FOL

Minimal FOL prover
Haskell
2
star
24

gasp

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

imbib

bibtex management functions and gui
Haskell
2
star
26

hgal

Haskell Graph Automorphism Library
Haskell
2
star
27

polynomials-bernstein

Haskell
2
star
28

Cake

Build system as a Haskell library
Haskell
2
star
29

Parsek

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

Generic-Programming-WIth-Dependent-Types

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

labeled-tree

Haskell labeled trees
Haskell
1
star
32

sparse-matrix

sparse matrix represented as quad-tree
Haskell
1
star
33

nnn

Not a Neural Network library
Haskell
1
star
34

labeled-graph

Haskell Labeled Graph
Haskell
1
star
35

nofib

Haskell
1
star
36

cmap

emacs: do at point
Emacs Lisp
1
star
37

dvi-processing

Processing of dvi files
Haskell
1
star
38

python-ht24

live coding results
Python
1
star