BelegCuthalion

pmwd

Differentiable Cosmological Forward Model

universal_program

weak-omega

An implementation of lambda weak omega in Coq, with report.

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

coq-course

Coq course at Chalmers CSE

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

CoqCat

Formalization of Category Theory in Coq.

vehicle

A toolkit for enforcing logical specifications on neural networks

lean-gym

mitten_preorder

EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell

Parf-Edhellen

A dictionary for Tolkien's languages

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

lighthousemap

OpenStreetMap's Blinking Beacons

grex

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

dickinson

Text generation language

formaltt

Formalization of type theory

lttt

"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

SwiftLaTeX

SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

alarm-clock

A simple Bash alarm clock script.

cascade

A project management service with pure functional programming paradigm in the heart.

image-gpt

Meikade

Meikade is a poetry application.

recursion-schemes

Generalized bananas, lenses and barbed wire

Web-Workshop

Angular, Ansible, CI/CD, Flutter, ElasticSearch, Redis, NSQ, RabbitMQ, Jenkins, Jest, React, Redux, TypeScript, Django, GraphQL, Rest Framework, Docker and Kubernetes Tutorial

cs-video-courses

List of Computer Science courses with video lectures.

certicoq

A Verified Compiler for Gallina, Written in Gallina