Beast code in Giters

Matthias Heinzel's repositories

clash-yosys-icestick-examples

Describing digital circuits in Haskell and flashing them onto a Lattice IceStick FPGA

Language:HaskellGPL-3.06 4 1

haskell-exercises

Some exercises (including tests), mainly for the Berlin Haskell User Group

Language:Haskell3 30

advent-of-code

Language:Haskell2 40

talks

slides for talks given by me

Language:HTML2 20

telegram-bot

A simple Python bot, doing some random things

Language:PythonMIT2 10

correct-optimisations

Provingly Correct Optimizations on Intrinsically Typed Expressions

Language:AgdaGPL-3.01 20

haskell-playground

Some things I played around with to understand them better

Language:Haskell1 30

haskell-tutorial-bobkonf-2018

Language:Haskell1 20

messaging

An experimental chat application with terminal, GTK and web clients, all written in Haskell.

Language:HaskellNOASSERTION1 4 2

writing-hardware-in-haskell

Language:Makefile1 20

autodocodec

Language:Haskell010

fs-sim

File system API and simulator

Apache-2.0000

gclparser

Language:HaskellBSD-3-Clause010

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Language:AgdaGPL-3.0000

ghcid

Very low feature GHCi based IDE

Language:HaskellBSD-3-Clause020

join-thesis

Implementing the Distributed Join Calculus using Actors

Language:TeX020

lichess-bot

A bridge between Lichess API and chess engines

Language:PythonAGPL-3.0000

pandoc

Universal markup converter

Language:HaskellNOASSERTION000

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

Language:Haskell010

sitelen-sitelen-renderer

JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.

Language:JavaScriptMIT000