Browser based scheduling program based on DPLL logic solver. Proof of concept

Agda is a dependently typed programming language / interactive theorem prover.

🖼 KSF Media frontend monorepo

🚰 Kitchen-sink docker image for CI

Open-source keyboard firmware for Atmel AVR and Arm USB families

Some candy to bootstrap our services 🥝🍓🍒🍊🍌🍉

The Incredible Proof Machine

Clojure(Script) tools for Plumatic Schema

QuickCheck for Clojure

A Clojure model checker (using the TLA+/TLC engine)

Tutorial for LiquidHaskell

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Haskell MOOC University of Helsinki

An introduction to programming language theory in Agda