m4lvin

tablean

Tableau for basic modal logic in Lean 3

orgToRem

Get your org-mode agenda on the Remarkable tablet.

HasCacBDD

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

lean4-pdl

mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

illc-phd-thesis-template

🎓 The ILLC Dissertation Style with some adjustments and scripts.

nextcloud-client-debian-packaging

DEPRECATED - please use the nextcloud-desktop package in stretch-backports or the AppImage from nextcloud.com

GoMoChe

🗣️📞 Gossip Model Checking

modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

cudd

An unofficial mirror of the CUDD decision diagrams package

m4lvin

x1tablet3-fnlocker

coreboot

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

depender

minimal example for https://github.com/commercialhaskell/stack/issues/4141

depgraph

Draw dependency graphs for math theorems

gossip_protocol_expectation

Calculating the reachable states and the expected duration for some gossip protocols

haskell-and-cpp

Example on how to integrate Haskell and C++ library.

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

hzulip

A haskell wrapper for the Zulip API.

ical2org.py

Convert ical .ics file to org-mode

lambdabot-zulip

Lambdabot for Zulip Chat

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mathlib4

The math library of Lean 4

navigation

ZEIT Navigationssystem

PDDLtoDEL

Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.

sabotage

The Sabotage Game

SucExpModelCheckers

sylvan-haskell-example

termux-packages

A build system and primary set of packages for Termux.

website-theory-amsterdam