zilinc's Stars
HuStmpHrrr/mech-type-theories
Mechanizations of Type Theories
munificent/craftinginterpreters
Repository for the book "Crafting Interpreters"
geelon/type-theory
Type Theory
gteege/gentle-isabelle
A gentle introduction to Isabelle and Isabelle/HOL
hustvl/VMA
A general map auto annotation framework based on MapTR, with high flexibility in terms of spatial scale and element type
gigo-team/bev_lane_det
OpenDriveLab/OpenLane
[ECCV 2022 Oral] OpenLane: Large-scale Realistic 3D Lane Dataset
OpenDriveLab/OpenLane-V2
[NeurIPS 2023 Track Datasets and Benchmarks] OpenLane-V2: The First Perception and Reasoning Benchmark for Road Driving
taesungp/contrastive-unpaired-translation
Contrastive unpaired image-to-image translation, faster and lighter training than cyclegan (ECCV 2020, in PyTorch)
junyanz/pytorch-CycleGAN-and-pix2pix
Image-to-Image Translation in PyTorch
brendanzab/language-garden
A garden of small programming language implementations 🪴
4DVLab/Vision-Centric-BEV-Perception
Vision-Centric BEV Perception: A Survey
Charmve/OpenCC
Automatic driving long tail / corner cases scenarios dataset (Anomaly detection)
milesial/Pytorch-UNet
PyTorch implementation of the U-Net for image semantic segmentation with high quality images
mawww/kakoune
mawww's experiment for a better code editor
fyu/drn
Dilated Residual Networks
ucbdrive/dla
Code for the CVPR 2018 Oral Paper "Deep Layer Aggregation"
inkytonik/kiama
A Scala library for language processing.
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
amblafont/cogent
Proof-Code Cogeneration
amblafont/AutoCorres
changes to autocorres 1.6
OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
coq-community/semantics
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
masksshow/Thinkpad-E14-15-AMD-Gen-2-FIX
Fn-keys not working - Thinkpad E14-15 AMD Gen 2
JamesShaker/TCSReadingGroup
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 Without Tears.
matze/mtheme
A modern LaTeX Beamer theme
gallais/type-scope-semantics
A self-contained repository for the paper Type and Scope Preserving Semantics
morloc-project/morloc
A typed, polyglot, functional language
effectfully/inference-in-agda
A tutorial on how Agda infers things
liamoc/dddp
Deferring the Details and Deriving Programs