clayrat Goto Github PK

aata

Public repository for Abstact Algebra Theory and Applications

alda-experiments

Musical experiments in Alda

alternative-internet

A collection of interesting new networks and tech aiming at decentralisation (in some form).

article-exploring-lockfree-rust

audiyo

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

awesome-guidelines

A curated list of high quality coding style conventions and standards.

awesome-idris

Awesome Idris resources

awesome-rust

A curated list of Rust code and resources.

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

blaze

Blazing fast NIO2 microframework and Http Parser

blott-experiments

Experiments with dependent modal types

capcha_bot

Captcha bot for telegram superchat

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

chronicle-bytes

Chronicle Bytes has a similar purpose to Java NIO's ByteBuffer with many extensions

clayrat.github.io

coherence-of-heyting-arithmetic

Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)

coherence-spaces

linear logic semantics

coind-sem-while

Coinductive trace-based semantics for the While language in Coq

commalg

Commutative algebra in Coq/SSReflect

comonad

Comonads for Idris

comonads

compcert

The CompCert formally-verified C compiler

cooltt

😎TT

cooper

Presburger arithmetic solver in Idris

coq-domains

coq-foata

Foata normalization

coq-lecture-notes

Coq Lecture Notes

coq-refinements