Rust port of Google's SwissTable hash map

@buzden's configuration of neovim

Team Unagi's repository for ICFPC 2025

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

Автоматизированный Typst шаблон для оформления документов согласно ГОСТ 7.32-2017.

DepTyCheck model for semantically correct SystemVerilog descriptions

Minimal implementations for dependent type checking and elaboration

Rapid is a modern Go property-based testing library

A mechanisation of Wasm in Rocq

Kani Rust Verifier

PoC Scheme evaluator in Ansible

A framework for testing compilers' type checkers

a categorical deep learning compiler

A core language and API for dependently typed languages

A purely functional programming language with first class types

Facilities for generating dependently-typed data

HoTTEST Summer School materials

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

PyTorch port of models for Visual Sentiment Analysis pre-trained on the T4SA dataset.

💧 Liquid Tensor Experiment

⚡ Dynamically generated stats for your github readmes

Lean 3's obsolete mathematical components library: please use mathlib4

XMonad™️. Widgets go brr.

Notes for c++ exam