There are no reviews yet. Be the first to send feedback to the community and the maintainers!
schmitty
Agda bindings to SMT-LIB2 compatible solvers.AutoInAgda
Proof automation βΒ for Agda, in Agda.sesh
A library for deadlock-free session-typed communication in Rust.featherweight-generic-go-generator
Test suite for implementations of Featherweight Generic Gosetup-agda
Set up a specific version of Agda for your GitHub Actions workflow.msla2014
wherein I implement several substructural logics in Agdaidris-sesh
Session types in Idris2!priority-sesh
Session Types with Priority in Linear Haskellstarchild
F* library for verifying neural networks.talondoc
Document your Talon scripts using Sphinx.NLQ
A framework for natural language syntax and semantics based on type theory.chez-scheme-hs
Haskell bindings to Chez Schemeunlit
Tool to convert literate code between styles or to code.dep2con
several algorithms for converting dependency structures into constituency structures.swillprover
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI PrologFirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.sapphire
A library for translating TensorFlow models to z3.example-haskell-wheel
An experiment in publishing a Haskell library as a Python Wheel.MonoProc
A framework for data-flow analysis of a simple imperative programming language.amethyst
Agda library for verifying neural networks.lazuli
Liquid Haskell library for verifying neural networks.talonfmt
Formatter for Talon files.agda-python
A project that packages Agda as a Python package.agda2html
a tool to convert literate agda to htmltree-sitter-talon
Tree Sitter parser for Talon files.wenkokke.github.io
wherein I put thoughtspolygen
Efficient enumeration of polymorphic Ξ»-terms from System FΟ.paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinismdebruijn
agda-prelude
UvA-MT1-IBM
Implementation of IBM machine translation models 1 and 2 in Python.side-effects-in-english
a blogpy-doc-printer
A Wadler-Leijen Pretty Printer in PythonEnumeratingTheRationals
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in CoqHeisigLevels
an Anki 1 plugin for Japanese learning in combination with James Heisig's "Remembering The Kanji"keybow2040
wenkokke
latex-template
py-tree-sitter-type-provider
Type providers for tree-sitter in Python.agda-exec-tc
A repository with examples of using the system call primitive execTC.py-tree-sitter-talon
Parser for Talon files in Python.talon-user
My Talon user configuration.shoggoth
Helper functions for building static web pages with shakeFunFlow
an implementation of control-flow analysis of a simple functional programming language.lacl2016
a paper extracted from my master's thesis on categorial grammardipsy
an implementation of Display Calculus in Agdacookiecutter-haskell-wheel-legacy
talk-this-talk-wont-help-you-steal
wherein I look at lockpickingcgtm
a compiler from Turing Machines to VISL CG-3 codepy-tree-sitter-agda
Parser for Agda files in Python.talk-session-types
talk-a-tale-of-three-constructed-languages
wherein I look at constructed languagestlla2018
Repository for Taking Linear Logic Apart.programming-problems
Miscellaneous writing and coding...sean
a simple programming language for semantic annotation of natural language semanticsagda-pregroup
a formalisation of the theory of pregoups as described by Lambek in Agdapelican
Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.degobah
fsm2cg
a tool which reads finite state machines and produces CG3 codetalk-formalising-session-typed-languages-without-worries
wherein I look at formalising session typed languagesweb-tree-sitter
A patched version of web-tree-sitter for use with tree-sitter-haskell.inblackandwhite
A script which maintains a greyscale copy of a tumblr blogtalk-programming-programming-language-foundations-in-agda-in-agda
wherein I look at why we made PLFABreadbox
An AI for a *very distant* cousin of '20 questions'.LambdaCalc
Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.talonfmt-vscode
Formatter for the Talon language.Love Open Source and this site? Check out how you can help us