Giters
Beta Ziliani (beta-ziliani)

beta-ziliani

Geek Repo

62

followers

1

following

5

stars

Company:@crystal-lang

Home Page:https://beta-ziliani.github.io/

Twitter:@BetaZiliani

Github PK Tool:Github PK Tool

Organizations
crystal-lang
manastech
Mtac2

Beta Ziliani's repositories

mtac-plugin

Plugin for Coq 8.5

Language:CoqLicense:MITStargazers:4Issues:4Issues:1

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.

Language:OCamlLicense:LGPL-2.1Stargazers:3Issues:4Issues:0

sf

Software Foundations of Pierce et al.

Language:CoqLicense:MITStargazers:3Issues:5Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLicense:LGPL-2.1Stargazers:1Issues:3Issues:0

pqueue.cr

A lock-free priority queue

Language:CrystalLicense:Apache-2.0Stargazers:1Issues:0Issues:0

ssreflect-1.4

Ssreflect

Language:CoqStargazers:1Issues:3Issues:0

beta-ziliani.github.io

My website

Language:TeXLicense:MITStargazers:0Issues:2Issues:0

CASS2020

materials for CASS 2020

Language:HTMLStargazers:0Issues:2Issues:0

crystal

The Crystal Programming Language

Language:CrystalLicense:Apache-2.0Stargazers:0Issues:2Issues:0

crystal-book

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

crystal-website

crystal-lang.org website

Stargazers:0Issues:0Issues:0

CSrankings

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

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

distribution-scripts

Language:ShellStargazers:0Issues:2Issues:0

gc

A garbage collector for Crystal

Language:CStargazers:0Issues:2Issues:0

granite

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

License:MITStargazers:0Issues:0Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

internship_mpi

Language:CoqStargazers:0Issues:2Issues:0

invidious

Invidious is an alternative front-end to YouTube

License:AGPL-3.0Stargazers:0Issues:0Issues:0

Mtac2

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

redex2coq

Source code of redex2coq.

License:GPL-3.0Stargazers:0Issues:0Issues:0

reification-by-parametricity

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

Language:MathematicaLicense:MITStargazers:0Issues:2Issues:0

RelationChangingLogicsInCoq

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

Language:CoqStargazers:0Issues:0Issues:0

repo-unstable

The repository for development packages.

License:MITStargazers:0Issues:3Issues:0

rfcs

RFCs repository for Crystal

License:Apache-2.0Stargazers:0Issues:0Issues:0

shards

Dependency manager for the Crystal language

Language:CrystalLicense:NOASSERTIONStargazers:0Issues:2Issues:0

test-ecosystem

Language:ShellStargazers:0Issues:2Issues:0

unicoq

An enhanced unification algorithm for Coq

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0