A collection of resources for learning type theory and type theory adjacent fields.

A programming language supporting most of both declarative and imperative programming

Mechanizations of Type Theories

Repository for the book "Crafting Interpreters"

Type Theory

A gentle introduction to Isabelle and Isabelle/HOL

A general map auto annotation framework based on MapTR, with high flexibility in terms of spatial scale and element type

[ECCV 2022 Oral] OpenLane: Large-scale Realistic 3D Lane Dataset

[NeurIPS 2023 Track Datasets and Benchmarks] OpenLane-V2: The First Perception and Reasoning Benchmark for Road Driving

Contrastive unpaired image-to-image translation, faster and lighter training than cyclegan (ECCV 2020, in PyTorch)

Image-to-Image Translation in PyTorch

A garden of small programming language implementations 🪴

Vision-Centric BEV Perception: A Survey

Automatic driving long tail / corner cases scenarios dataset (Anomaly detection)

PyTorch implementation of the U-Net for image semantic segmentation with high quality images

mawww's experiment for a better code editor

Dilated Residual Networks

Code for the CVPR 2018 Oral Paper "Deep Layer Aggregation"

A Scala library for language processing.

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

Proof-Code Cogeneration

changes to autocorres 1.6

An open-source, customizable intermediate logic textbook

A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]

Fn-keys not working - Thinkpad E14-15 AMD Gen 2

Running efforts of a HOL reading group mechanising M̶i̶c̶h̶a̶e̶l̶ ̶S̶i̶p̶s̶e̶r̶'̶s̶ ̶I̶n̶t̶r̶o̶d̶u̶c̶t̶i̶o̶n̶ ̶t̶o̶ ̶t̶h̶e̶ ̶T̶h̶e̶o̶r̶y̶ ̶o̶f̶ ̶C̶o̶m̶p̶u̶t̶a̶t̶i̶o̶n̶ Sidney Morris's Topology With…

A modern LaTeX Beamer theme

A self-contained repository for the paper Type and Scope Preserving Semantics

A typed, polyglot, functional language