Popular repositories Loading
-
Software-Modelling---Theorem-Provers---Program-Verification---Cryptography
Software-Modelling---Theorem-Provers---Program-Verification---Cryptography PublicCoq 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…
Coq 1
-
MLEM2---Datamining
MLEM2---Datamining PublicIn this project, we present the newest version of the MLEM2 algorithm for rule induction, a basic component of the LERS data mining system. This version of the MLEM2 algorithm is based on local low…
Java
-
2048_Game_With_Haskell_BlankCanvas
2048_Game_With_Haskell_BlankCanvas PublicThe 2048 game using Blank Canvas which is a Haskell binding to HTML5 Canvas API.
Haskell
-
GoGet-SearchEngine---Information-Retrieval
GoGet-SearchEngine---Information-Retrieval PublicThe purpose of this project is to implement the academic project on informationretrieval(IR) of unstructured content. Unstructured content typically includes text,music,video,or still-images. This …
Java
-
Mining-Special-Data---Error-Correction-and-Performance-Assessment
Mining-Special-Data---Error-Correction-and-Performance-Assessment PublicPython
-
Coursera---HTML-CSS-JS---Assignment1
Coursera---HTML-CSS-JS---Assignment1 PublicImplementing Forms, Styles and CSS
HTML
If the problem persists, check the GitHub status page or contact support.