1-day current streak·5-day longest streak
-
crystal ★ PINNED ⑂
The Crystal Programming Language
Crystal ★ 0 1y agoExplain → -
Mtac2 ★ PINNED ⑂
No description.
Coq ★ 0 3y agoExplain → -
unicoq ★ PINNED ⑂
An enhanced unification algorithm for Coq
★ 0 5y agoExplain → -
mtac-plugin
Plugin for Coq 8.5
Coq ★ 5 10y agoExplain → -
sf
Software Foundations of Pierce et al.
Coq ★ 3 12y agoExplain → -
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.
OCaml ★ 2 5y agoExplain → -
pqueue.cr
A lock-free priority queue
Crystal ★ 1 1y agoExplain → -
opam-coq-archive ⑂
Archive for all Coq related OPAM packages organized in various repositories
JavaScript ★ 1 6y agoExplain → -
ssreflect-1.4
Ssreflect
Coq ★ 1 11y agoExplain → -
beta-ziliani.github.io
My website
TeX ★ 0 4mo agoExplain → -
slang-timings ⑂
No description.
★ 0 1y agoExplain → -
rust-macro-lang-generator
Testing the idea to generate intermediate languages by parsing rust files
Rust ★ 0 1y agoExplain → -
crystal-intro ⑂
Talk that introduces the Crystal programming language
★ 0 1y agoExplain → -
execution_context ⑂
No description.
★ 0 1y agoExplain → -
pampero ⑂
Stateless Ethereum block explorer powered by Crystal
★ 0 1y agoExplain → -
lavinmq ⑂
Lightweight and fast AMQP (0-9-1) server
★ 0 1y agoExplain → -
perf-tools ⑂
An assortment of tools to track resources in Crystal applications
★ 0 1y agoExplain → -
redex2coq ⑂
Source code of redex2coq.
★ 0 2y agoExplain → -
rfcs ⑂
RFCs repository for Crystal
★ 0 2y agoExplain → -
invidious ⑂
Invidious is an alternative front-end to YouTube
★ 0 2y agoExplain → -
gc ⑂
A garbage collector for Crystal
★ 0 4y agoExplain → -
homebrew-core ⑂
🍻 Default formulae for the missing package manager for macOS
★ 0 3y agoExplain → -
granite ⑂
ORM Model with Adapters for mysql, pg, sqlite in the Crystal Language.
★ 0 4y agoExplain → -
test-ecosystem ⑂
No description.
★ 0 3y agoExplain → -
distribution-scripts ⑂
No description.
★ 0 3y agoExplain → -
crystal-website ⑂
crystal-lang.org website
★ 0 8mo agoExplain → -
crystal-book ⑂
Crystal docs at https://crystal-lang.org/reference
★ 0 2y agoExplain → -
shards ⑂
Dependency manager for the Crystal language
★ 0 1y agoExplain → -
reification-by-parametricity ⑂
Fast Setup for Proof by Reflection, in Two Lines of Ltac.
Mathematica ★ 0 5y agoExplain → -
internship_mpi ⑂
No description.
★ 0 6y agoExplain → -
RelationChangingLogicsInCoq ⑂
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Coq ★ 0 6y agoExplain → -
CASS2020 ⑂
materials for CASS 2020
HTML ★ 0 6y agoExplain → -
CSrankings ⑂
A web app for ranking computer science departments according to their research output in selective venues.
★ 0 6y agoExplain → -
repo-unstable ⑂
The repository for development packages.
★ 0 11y agoExplain →
No repos match these filters.