Pinned Repositories
beta-ziliani.github.io
My website
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mtac-plugin
Plugin for Coq 8.5
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
pqueue.cr
A lock-free priority queue
sf
Software Foundations of Pierce et al.
ssreflect-1.4
Ssreflect
crystal
The Crystal Programming Language
Mtac2
unicoq
An enhanced unification algorithm for Coq
beta-ziliani's Repositories
beta-ziliani/mtac-plugin
Plugin for Coq 8.5
beta-ziliani/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
beta-ziliani/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
beta-ziliani/pqueue.cr
A lock-free priority queue
beta-ziliani/beta-ziliani.github.io
My website
beta-ziliani/CASS2020
materials for CASS 2020
beta-ziliani/crystal
The Crystal Programming Language
beta-ziliani/crystal-book
Crystal docs at https://crystal-lang.org/reference
beta-ziliani/crystal-intro
Talk that introduces the Crystal programming language
beta-ziliani/crystal-website
crystal-lang.org website
beta-ziliani/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
beta-ziliani/distribution-scripts
beta-ziliani/execution_context
beta-ziliani/gc
A garbage collector for Crystal
beta-ziliani/granite
ORM Model with Adapters for mysql, pg, sqlite in the Crystal Language.
beta-ziliani/homebrew-core
🍻 Default formulae for the missing package manager for macOS
beta-ziliani/internship_mpi
beta-ziliani/invidious
Invidious is an alternative front-end to YouTube
beta-ziliani/lavinmq
Lightweight and fast AMQP (0-9-1) server
beta-ziliani/Mtac2
beta-ziliani/pampero
Stateless Ethereum block explorer powered by Crystal
beta-ziliani/perf-tools
An assortment of tools to track resources in Crystal applications
beta-ziliani/redex2coq
Source code of redex2coq.
beta-ziliani/reification-by-parametricity
Fast Setup for Proof by Reflection, in Two Lines of Ltac.
beta-ziliani/RelationChangingLogicsInCoq
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
beta-ziliani/repo-unstable
The repository for development packages.
beta-ziliani/rfcs
RFCs repository for Crystal
beta-ziliani/shards
Dependency manager for the Crystal language
beta-ziliani/test-ecosystem
beta-ziliani/unicoq
An enhanced unification algorithm for Coq