beta-ziliani
Follow
-
crystal-website Public
Forked from crystal-lang/crystal-websitecrystal-lang.org website
JavaScript UpdatedNov 15, 2024 -
shards Public
Forked from crystal-lang/shardsDependency manager for the Crystal language
Crystal Other UpdatedNov 7, 2024 -
crystal Public
Forked from crystal-lang/crystalThe Crystal Programming Language
Crystal Apache License 2.0 UpdatedNov 6, 2024 -
-
crystal-intro Public
Forked from crystal-lang/crystal-introTalk that introduces the Crystal programming language
JavaScript UpdatedOct 4, 2024 -
-
-
perf-tools Public
Forked from crystal-lang/perf-toolsAn assortment of tools to track resources in Crystal applications
Crystal MIT License UpdatedSep 10, 2024 -
pampero Public
Forked from manastech/pamperoStateless Ethereum block explorer powered by Crystal
Crystal GNU General Public License v3.0 UpdatedSep 4, 2024 -
lavinmq Public
Forked from cloudamqp/lavinmqLightweight and fast AMQP (0-9-1) server
Crystal Apache License 2.0 UpdatedJul 26, 2024 -
redex2coq Public
Forked from Mallku2/redex2coqSource code of redex2coq.
Coq GNU General Public License v3.0 UpdatedMay 29, 2024 -
rfcs Public
Forked from crystal-lang/rfcsRFCs repository for Crystal
Apache License 2.0 UpdatedMay 17, 2024 -
invidious Public
Forked from iv-org/invidiousInvidious is an alternative front-end to YouTube
Crystal GNU Affero General Public License v3.0 UpdatedApr 23, 2024 -
crystal-book Public
Forked from crystal-lang/crystal-bookCrystal docs at https://crystal-lang.org/reference
Makefile Other UpdatedOct 11, 2023 -
distribution-scripts Public
Forked from crystal-lang/distribution-scriptsShell UpdatedMar 22, 2023 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedMar 7, 2023 -
-
-
-
granite Public
Forked from amberframework/graniteORM Model with Adapters for mysql, pg, sqlite in the Crystal Language.
Crystal MIT License UpdatedSep 29, 2021 -
reification-by-parametricity Public
Forked from mit-plv/reification-by-parametricityFast Setup for Proof by Reflection, in Two Lines of Ltac.
Mathematica MIT License UpdatedDec 19, 2020 -
unicoq Public
Forked from unicoq/unicoqAn enhanced unification algorithm for Coq
OCaml MIT License UpdatedNov 28, 2020 -
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 develo…
-
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
-
-
CASS2020 Public
Forked from Coq-Andes-Summer-School/CASS2020materials for CASS 2020
HTML UpdatedJan 7, 2020 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedDec 2, 2019 -
RelationChangingLogicsInCoq Public
Forked from liis-modal-logics/RelationChangingLogicsInCoqMechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Coq UpdatedOct 22, 2019 -
-
repo-unstable Public
Forked from coq/repo-unstable-disabledThe repository for development packages.
MIT License UpdatedJun 13, 2015