• This repository has been archived on 09/Oct/2018
  • Stars
    star
    3
  • Rank 3,887,146 (Top 79 %)
  • Language Coq
  • Created about 11 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq

More Repositories

1

schmitty

Agda bindings to SMT-LIB2 compatible solvers.
Agda
91
star
2

sesh

A library for deadlock-free session-typed communication in Rust.
Makefile
43
star
3

AutoInAgda

Proof automation – for Agda, in Agda.
Agda
38
star
4

featherweight-generic-go-generator

Test suite for implementations of Featherweight Generic Go
Haskell
34
star
5

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.
TypeScript
25
star
6

msla2014

wherein I implement several substructural logics in Agda
Agda
24
star
7

idris-sesh

Session types in Idris2!
Idris
23
star
8

priority-sesh

Session Types with Priority in Linear Haskell
Haskell
21
star
9

starchild

F* library for verifying neural networks.
F*
15
star
10

talondoc

Document your Talon scripts using Sphinx.
Python
14
star
11

NLQ

A framework for natural language syntax and semantics based on type theory.
Haskell
13
star
12

chez-scheme-hs

Haskell bindings to Chez Scheme
Haskell
10
star
13

unlit

Tool to convert literate code between styles or to code.
HTML
10
star
14

dep2con

several algorithms for converting dependency structures into constituency structures.
Haskell
9
star
15

swillprover

a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
Prolog
9
star
16

FirstOrderUnificationInAgda

Implementation of McBride's "First-order unification by structural recursion" in Agda.
Agda
8
star
17

sapphire

A library for translating TensorFlow models to z3.
Jupyter Notebook
8
star
18

example-haskell-wheel

An experiment in publishing a Haskell library as a Python Wheel.
Python
7
star
19

MonoProc

A framework for data-flow analysis of a simple imperative programming language.
Haskell
7
star
20

amethyst

Agda library for verifying neural networks.
Agda
7
star
21

lazuli

Liquid Haskell library for verifying neural networks.
Haskell
7
star
22

talonfmt

Formatter for Talon files.
Python
6
star
23

agda-python

A project that packages Agda as a Python package.
Python
5
star
24

agda2html

a tool to convert literate agda to html
Haskell
5
star
25

tree-sitter-talon

Tree Sitter parser for Talon files.
C
5
star
26

wenkokke.github.io

wherein I put thoughts
HTML
5
star
27

polygen

Efficient enumeration of polymorphic λ-terms from System Fω.
Racket
4
star
28

debruijn

Haskell
4
star
29

agda-prelude

Agda
4
star
30

paper-races-in-classical-linear-logic

wherein I describe deadlock and race-free session types with non-determinism
Agda
3
star
31

UvA-MT1-IBM

Implementation of IBM machine translation models 1 and 2 in Python.
Fortran
3
star
32

side-effects-in-english

a blog
Haskell
3
star
33

py-doc-printer

A Wadler-Leijen Pretty Printer in Python
Python
3
star
34

HeisigLevels

an Anki 1 plugin for Japanese learning in combination with James Heisig's "Remembering The Kanji"
Python
2
star
35

keybow2040

Python
2
star
36

wenkokke

2
star
37

latex-template

TeX
2
star
38

py-tree-sitter-type-provider

Type providers for tree-sitter in Python.
C
2
star
39

agda-exec-tc

A repository with examples of using the system call primitive execTC.
Agda
2
star
40

py-tree-sitter-talon

Parser for Talon files in Python.
Python
2
star
41

talon-user

My Talon user configuration.
Python
2
star
42

shoggoth

Helper functions for building static web pages with shake
Haskell
2
star
43

lacl2016

a paper extracted from my master's thesis on categorial grammar
TeX
2
star
44

FunFlow

an implementation of control-flow analysis of a simple functional programming language.
Haskell
2
star
45

dipsy

an implementation of Display Calculus in Agda
Agda
1
star
46

cookiecutter-haskell-wheel-legacy

Python
1
star
47

talk-this-talk-wont-help-you-steal

wherein I look at lockpicking
1
star
48

cgtm

a compiler from Turing Machines to VISL CG-3 code
Haskell
1
star
49

py-tree-sitter-agda

Parser for Agda files in Python.
1
star
50

talonfmt-vscode

Formatter for the Talon language.
TypeScript
1
star
51

talk-session-types

1
star
52

talk-a-tale-of-three-constructed-languages

wherein I look at constructed languages
1
star
53

programming-problems

Miscellaneous writing and coding...
Python
1
star
54

tlla2018

Repository for Taking Linear Logic Apart.
1
star
55

paper-prioritise-the-best-variation

TeX
1
star
56

sean

a simple programming language for semantic annotation of natural language semantics
Haskell
1
star
57

agda-pregroup

a formalisation of the theory of pregoups as described by Lambek in Agda
Agda
1
star
58

pelican

Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.
Java
1
star
59

degobah

JavaScript
1
star
60

fsm2cg

a tool which reads finite state machines and produces CG3 code
Haskell
1
star
61

talk-formalising-session-typed-languages-without-worries

wherein I look at formalising session typed languages
1
star
62

web-tree-sitter

A patched version of web-tree-sitter for use with tree-sitter-haskell.
Shell
1
star
63

inblackandwhite

A script which maintains a greyscale copy of a tumblr blog
Python
1
star
64

talk-programming-programming-language-foundations-in-agda-in-agda

wherein I look at why we made PLFA
1
star
65

Breadbox

An AI for a *very distant* cousin of '20 questions'.
JavaScript
1
star
66

LambdaCalc

Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
Java
1
star