beta-ziliani Goto Github PK

beta-ziliani.github.io

My website

cass2020

materials for CASS 2020

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.

crystal

The Crystal Programming Language

crystal-book

Crystal docs at https://crystal-lang.org/reference

crystal-website

crystal-lang.org website

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

distribution-scripts

gc

A garbage collector for Crystal

granite

ORM Model with Adapters for mysql, pg, sqlite in the Crystal Language.

homebrew-core

🍻 Default formulae for the missing package manager for macOS

internship_mpi

invidious

Invidious is an alternative front-end to YouTube

lavinmq

Lightweight and fast AMQP (0-9-1) server

mtac-plugin

Plugin for Coq 8.5

mtac2

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

pampero

Stateless Ethereum block explorer powered by Crystal

perf-tools

An assortment of tools to track resources in Crystal applications

pqueue.cr

A lock-free priority queue

redex2coq

Source code of redex2coq.

reification-by-parametricity

Fast Setup for Proof by Reflection, in Two Lines of Ltac.

relationchanginglogicsincoq

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

repo-unstable

The repository for development packages.

rfcs

RFCs repository for Crystal

sf

Software Foundations of Pierce et al.

shards

Dependency manager for the Crystal language

ssreflect-1.4

Ssreflect

test-ecosystem

unicoq

An enhanced unification algorithm for Coq