• Stars
    star
    1
  • Language
    TeX
  • Created over 4 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

More Repositories

1

schmitty

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

AutoInAgda

Proof automation – for Agda, in Agda.
Agda
43
star
3

sesh

A library for deadlock-free session-typed communication in Rust.
Makefile
43
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

paper-races-in-classical-linear-logic

wherein I describe deadlock and race-free session types with non-determinism
Agda
4
star
29

debruijn

Haskell
4
star
30

agda-prelude

Agda
4
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

EnumeratingTheRationals

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

HeisigLevels

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

keybow2040

Python
2
star
37

wenkokke

2
star
38

latex-template

TeX
2
star
39

py-tree-sitter-type-provider

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

agda-exec-tc

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

py-tree-sitter-talon

Parser for Talon files in Python.
Python
2
star
42

talon-user

My Talon user configuration.
Python
2
star
43

shoggoth

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

FunFlow

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

lacl2016

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

dipsy

an implementation of Display Calculus in Agda
Agda
1
star
47

cookiecutter-haskell-wheel-legacy

Python
1
star
48

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

wherein I look at lockpicking
1
star
49

cgtm

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

py-tree-sitter-agda

Parser for Agda files in Python.
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

tlla2018

Repository for Taking Linear Logic Apart.
1
star
54

programming-problems

Miscellaneous writing and coding...
Python
1
star
55

sean

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

agda-pregroup

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

pelican

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

degobah

JavaScript
1
star
59

fsm2cg

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

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

wherein I look at formalising session typed languages
1
star
61

web-tree-sitter

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

inblackandwhite

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

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

wherein I look at why we made PLFA
1
star
64

Breadbox

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

LambdaCalc

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

talonfmt-vscode

Formatter for the Talon language.
TypeScript
1
star