Kernel-checked finite counter-models for Lean 4: Vampire finds a world where the axioms hold and a claim fails, and Lean's kernel certifies it. Proves what does NOT follow. Reproduced Nakamura's ha…

REWE delivery CLI

Kansei language is a scripting language based on Rust

Autoware - the world's leading open-source software project for autonomous driving

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell implementation of open games

HVM1 (2022): a massively parallel, optimal functional runtime in Rust

Tools for the Laws of Form

Julia implementation of Liquid State Machine

Code for the ECMR21 paper 'Understanding Greediness in Map-Predictive Exploration Planning'

Closed-form Continuous-time Neural Networks

PyTorch and TensorFlow implementation of NCP, LTC, and CfC wired neural models

Code Repository for Liquid Time-Constant Networks (LTCs)

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

Resource for the applied category theory Munich reading group

Create beautiful and semantically meaningful articles with pandoc.

Categorical Query Language IDE

a way to develop software with Nix

A GHCJS binding to React based on the Flux design. The flux design pushes state and complicated logic out of the view, allowing the rendering functions and event handlers to be pure Haskell functions.

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

The Eta Programming Language, a dialect of Haskell on the JVM

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Learn Haskell

Type safe interface for working in subcategories of Hask

Haskell IDE

A RESTful Haskell web framework built on WAI.

Turing game with a purpose.