Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by wenkokke
A curated list of projects in awesome lists by wenkokke .
https://github.com/wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Last synced: 10 Nov 2024
https://github.com/wenkokke/sesh
A library for deadlock-free session-typed communication in Rust.
Last synced: 10 Nov 2024
https://github.com/wenkokke/featherweight-generic-go-generator
Test suite for implementations of Featherweight Generic Go
Last synced: 10 Nov 2024
https://github.com/wenkokke/setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Last synced: 10 Nov 2024
https://github.com/wenkokke/msla2014
wherein I implement several substructural logics in Agda
agda paper substructural-logics
Last synced: 10 Nov 2024
https://github.com/wenkokke/priority-sesh
Session Types with Priority in Linear Haskell
Last synced: 10 Nov 2024
https://github.com/wenkokke/talondoc
Document your Talon scripts using Sphinx.
Last synced: 10 Nov 2024
https://github.com/wenkokke/starchild
F* library for verifying neural networks.
fstar neural-networks smt-solver
Last synced: 10 Nov 2024
https://github.com/wenkokke/unlit
Tool to convert literate code between styles or to code.
literate-programming literate-programs tool
Last synced: 10 Nov 2024
https://github.com/wenkokke/dep2con
several algorithms for converting dependency structures into constituency structures.
constituency-tree dependency-tree parse-trees tool
Last synced: 10 Nov 2024
https://github.com/wenkokke/tree-sitter-talon
Tree Sitter parser for Talon files.
Last synced: 14 Oct 2024
https://github.com/wenkokke/amethyst
Agda library for verifying neural networks.
agda neural-networks smt-solver
Last synced: 10 Nov 2024
https://github.com/wenkokke/example-haskell-wheel
An experiment in publishing a Haskell library as a Python Wheel.
Last synced: 10 Nov 2024
https://github.com/wenkokke/firstorderunificationinagda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
first-order-unification library unification
Last synced: 10 Nov 2024
https://github.com/wenkokke/agda-python
A project that packages Agda as a Python package.
Last synced: 10 Nov 2024
https://github.com/wenkokke/sapphire
A library for translating TensorFlow models to z3.
neural-networks python smt-solver
Last synced: 10 Nov 2024
https://github.com/wenkokke/lazuli
Liquid Haskell library for verifying neural networks.
liquid-haskell neural-networks smt-solver
Last synced: 10 Nov 2024
https://github.com/wenkokke/polygen
Efficient enumeration of polymorphic λ-terms from System Fω.
Last synced: 10 Nov 2024
https://github.com/wenkokke/paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
non-determinism paper process-calculus races type-system
Last synced: 10 Nov 2024
https://github.com/wenkokke/side-effects-in-english
a blog
blogpost extensible-effects natural-language
Last synced: 10 Nov 2024
https://github.com/wenkokke/py-doc-printer
A Wadler-Leijen Pretty Printer in Python
Last synced: 10 Nov 2024
https://github.com/wenkokke/lacl2016
a paper extracted from my master's thesis on categorial grammar
categorial-grammar natural-language paper type-system
Last synced: 10 Nov 2024
https://github.com/wenkokke/shoggoth
Helper functions for building static web pages with shake
Last synced: 10 Nov 2024
https://github.com/wenkokke/py-tree-sitter-talon
Parser for Talon files in Python.
Last synced: 10 Nov 2024
https://github.com/wenkokke/agda-exec-tc
A repository with examples of using the system call primitive execTC.
Last synced: 10 Nov 2024
https://github.com/wenkokke/py-tree-sitter-type-provider
Type providers for tree-sitter in Python.
Last synced: 13 Oct 2024
https://github.com/wenkokke/tlla2018
Repository for Taking Linear Logic Apart.
hypersequent-cp paper tlla2018
Last synced: 10 Nov 2024
https://github.com/wenkokke/inblackandwhite
A script which maintains a greyscale copy of a tumblr blog
art no-longer-maintained tumblr
Last synced: 10 Nov 2024
https://github.com/wenkokke/dipsy
an implementation of Display Calculus in Agda
framework logic no-longer-maintained work-in-progress
Last synced: 10 Nov 2024
https://github.com/wenkokke/degobah
game no-longer-maintained unfinished-work
Last synced: 10 Nov 2024
https://github.com/wenkokke/breadbox
An AI for a *very distant* cousin of '20 questions'.
distributional-semantics game natural-language no-longer-maintained plenty-questions twenty-questions
Last synced: 10 Nov 2024
https://github.com/wenkokke/agda-pregroup
a formalisation of the theory of pregoups as described by Lambek in Agda
categorial-grammar library pregroup
Last synced: 10 Nov 2024
https://github.com/wenkokke/cgtm
a compiler from Turing Machines to VISL CG-3 code
haskell turing-completeness turing-machine-simulator vislcg3
Last synced: 10 Nov 2024
https://github.com/wenkokke/web-tree-sitter
A patched version of web-tree-sitter for use with tree-sitter-haskell.
Last synced: 10 Nov 2024
https://github.com/wenkokke/talonfmt-vscode
Formatter for the Talon language.
Last synced: 10 Nov 2024
https://github.com/wenkokke/talk-a-tale-of-three-constructed-languages
wherein I look at constructed languages
Last synced: 10 Nov 2024
https://github.com/wenkokke/py-tree-sitter-agda
Parser for Agda files in Python.
Last synced: 10 Nov 2024
https://github.com/wenkokke/acknowledgements
Script which generates the acknowledgements for PLFA from the GitHub repository
Last synced: 10 Nov 2024
https://github.com/wenkokke/manylinux_ghc
A collection of manylinux images to provide a convenient way to distribute binary Python extensions that use Haskell as wheels on Linux.
Last synced: 10 Nov 2024
https://github.com/wenkokke/pandoc-filters
A collection of filters for pandoc.
Last synced: 10 Nov 2024
https://github.com/wenkokke/bnfc-python
Python bindings for the BNF Converter.
Last synced: 10 Nov 2024
https://github.com/wenkokke/cookiecutter-haskell-wheel
A cookiecutter template for publishing a Haskell library as a Python Wheel.
Last synced: 10 Nov 2024
https://github.com/wenkokke/uu-parsinglib-tutorial
wherein I describe how to hit the ground running with uu-parsinglib
blogpost haskell-library parsing-library
Last synced: 10 Nov 2024
https://github.com/wenkokke/witch
like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.
Last synced: 10 Nov 2024
https://github.com/wenkokke/spacemacs-talon
Talon Voice integration for Spacemacs
Last synced: 10 Nov 2024
https://github.com/wenkokke/no-waste-land
>>>>>> > >>>>>> >>>>>> >>>>> >>>>>>>, >> >>>> >>>> >>>>>>>.
Last synced: 10 Nov 2024
https://github.com/wenkokke/haskell-talon
Support for programming Haskell using Talon Voice
Last synced: 10 Nov 2024