drever

act-munich

Resource for the applied category theory Munich reading group

ct-consciousness

form-bakery

An invitation to Laws of Form

hotz-translation

Translation of the document "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" by Günter Hotz

web-vpi

An interactive implementation of the Haken-Kelso-Bunz model which runs in a web browser.

reading-list

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

aus-a-folgt-b

Warum `<a>b` "aus a folgt b" ist.

compositionality-template

Template of compositionality

corona_cases

🦠 Coronavirus Information on Telegram Chatbot

coronavirus-tracker-api

🦠 A simple and fast (< 200ms) API for tracking the global coronavirus (COVID-19, SARS-CoV-2) outbreak. It's written in python using the 🔥 FastAPI framework. Supports multiple sources!

fluxette

fluxetteback

fpMIIND

Multiple Interacting Instantiations of Neuronal Dynamics now with functional programming!

haskell-opaleye

hssqlppp

sql parser and type checker in haskell

IHaskell

A Haskell kernel for IPython.

JavaTemplate

A templating mechanism in Haskell to produce java code.

language-java

Java parser and printer for haskell

lantis

A bug tracking system with board list interface

latex-template

mindtheory

mysql

A lightweight Haskell binding to the C mysqlclient API

nixpkgs

Nix Packages collection

o3po-compositionality

reflex-dom-inbits

A tutorial for reflex-dom with small code bits

servant-auth

snarf

Snarf networks

types

TAPL excercises

vm

The mm-ADT Virtual Machine