- Shirokanedai
Block or Report
Block or report Skantz
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
Puzzles Public
Solutions to competitive programming puzzles. Leetcode, Kattis, Project Euler and more.
-
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
-
CoqCP Public
Forked from huynhtrankhanh/CoqCPWe combat sloppy arguments in competitive programming and raise the standard of rigor
Coq The Unlicense UpdatedJul 23, 2023 -
TypeTheory Public
Forked from UniMath/TypeTheoryThe mathematical study of type theories, in univalent foundations
Coq UpdatedJun 25, 2023 -
expander-decomposition Public
Implementation of the expander decomposition algorithm in https://arxiv.org/abs/1812.08958. Decompose graph with cluster expansion guarantee.
-
Barbarossa Public
Forked from nionita/BarbarossaChess engine entirely written in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 27, 2023 -
-
-
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…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 1, 2022 -
tutorial_material Public
Forked from math-comp/tutorial_materialproof script associated to tutorial material
Coq UpdatedJul 23, 2022 -
tsp Public
algorithms - minimum spanning trees, traveling salesmen
-
ocaml-webmachine Public
Forked from inhabitedtype/ocaml-webmachineA REST toolkit for OCaml
OCaml Other UpdatedOct 19, 2021 -
haskell-challenges Public
Forked from effectfully-ou/haskell-challengesCode challenges to solve with Haskell
Haskell MIT License UpdatedJul 25, 2021 -
thu-bigdata Public
Introduction to Big Data Systems(80240693-0)
Jupyter Notebook UpdatedJun 17, 2020 -
-
-
thu-computational-biology Public
THU Computational Biology (30470093-0)
-
Web Information Retrieval (80240573-0)
-
-
-