Pinned Repositories
act-munich
Resource for the applied category theory Munich reading group
AnalyseReddit
A tool to do some analysis on Reddit threads.
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
BotBuster
Turing game with a purpose.
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
reading-list
web-vpi
An interactive implementation of the Haken-Kelso-Bunz model which runs in a web browser.
wiggle-it
A simulation of the Haken-Kelso-Bunz model in iOS.
drever's Repositories
drever/act-munich
Resource for the applied category theory Munich reading group
drever/ct-consciousness
drever/form-bakery
An invitation to Laws of Form
drever/hotz-translation
Translation of the document "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" by Günter Hotz
drever/web-vpi
An interactive implementation of the Haken-Kelso-Bunz model which runs in a web browser.
drever/reading-list
drever/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
drever/aus-a-folgt-b
Warum `<a>b` "aus a folgt b" ist.
drever/compositionality-template
Template of compositionality
drever/corona_cases
🦠 Coronavirus Information on Telegram Chatbot
drever/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!
drever/fluxette
drever/fluxetteback
drever/fpMIIND
Multiple Interacting Instantiations of Neuronal Dynamics now with functional programming!
drever/haskell-opaleye
drever/hssqlppp
sql parser and type checker in haskell
drever/IHaskell
A Haskell kernel for IPython.
drever/JavaTemplate
A templating mechanism in Haskell to produce java code.
drever/language-java
Java parser and printer for haskell
drever/lantis
A bug tracking system with board list interface
drever/latex-template
drever/mindtheory
drever/mysql
A lightweight Haskell binding to the C mysqlclient API
drever/nixpkgs
Nix Packages collection
drever/o3po-compositionality
drever/reflex-dom-inbits
A tutorial for reflex-dom with small code bits
drever/servant-auth
drever/snarf
Snarf networks
drever/types
TAPL excercises
drever/vm
The mm-ADT Virtual Machine