hustmphrrr Goto Github PK

996.icu

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

agda-categories

A new Categories library

agda-categories-1

agda-category

studying Awodey and implementing in Agda

agda-cofinite

A Reasoning Library for Cofinite Quantification

agda-lib-config

my agda configurations

agda-stdlib

The Agda standard library

agda-substructural

Formalization of Substructural Type Systems in Agda

agda-test

agda-tuto

aircraft

an aircraft project that I worked on to implement remote control using keyboard.

algdotcalculus

A project that attempts to turn type inference rules in DOT calculus into algorithmic one

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

catlognotes

Categorical Logic Notes

cbmc

C Bounded Model Checker

copterlab

my graduation project, about quadcopter

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-library-undecidability

A library of formalised undecidable problems in Coq

coqdocjs

dafny

Dafny is a verification-aware programming language

dlist

for all the burden, just for fun.

dot-calculus

Adding extensions to DOT calculus

dot-calculus-1

Formalization of the Dependent Object Types (DOT) calculus

dot-ott

Ott formalization of the DOT calculus

dotty

Research platform for new language concepts and compiler technologies for Scala.

dsss18

Lecture material for DeepSpec Summer School 2018

esop2024

ghcmod-vim

Happy Haskell programming on Vim, powered by ghc-mod

gjms

Good Job MicroSoft, thanks for ruining my life.

golite2llvm