-
-
-
-
-
-
-
-
-
Data_Mining_Projects_Labs_CS145 Public
Forked from tadiusfrank2001/Data_Mining_Projects_Labs_CS145A collection of data mining course assignments to implement advanced predictive statistical analysis models
Jupyter Notebook The Unlicense UpdatedAug 8, 2024 -
-
-
explains Public
Forked from anthonywritescode/explainsmore easily searchable list of explains playlist
Python UpdatedFeb 15, 2021 -
ThinkPython2 Public
Forked from AllenDowney/ThinkPython2LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.
TeX Other UpdatedDec 16, 2020 -
ThinkPython Public
Forked from AllenDowney/ThinkPythonCode examples and exercise solutions from Think Python by Allen Downey, published by O'Reilly Media.
PostScript UpdatedNov 4, 2020 -
Pygame Public
Forked from joaotinti75/PygameGames that i did using pygame library
Jupyter Notebook UpdatedOct 12, 2020 -
Python-programming-exercises Public
Forked from zhiwehu/Python-programming-exercises100+ Python challenging programming exercises
UpdatedOct 7, 2020 -
practical-python Public
Forked from dabeaz-course/practical-pythonPractical Python Programming (course by @dabeaz)
Python Creative Commons Attribution Share Alike 4.0 International UpdatedJul 17, 2020 -
ACNLPatternTool Public
Forked from Thulinma/ACNLPatternToolAnimal Crossing: New Leaf Pattern Tool
Vue Do What The F*ck You Want To Public License UpdatedJun 6, 2020 -
Carnap Public
Forked from Carnap/CarnapA formal logic framework that runs in the browser
Haskell GNU General Public License v3.0 UpdatedApr 15, 2020 -
social-distancing-simulator Public
Forked from andrejbauer/social-distancing-simulatorAn artificial simulation of social distancing in the time of an epidemic.
HTML MIT License UpdatedApr 8, 2020 -
coq-lecture-notes Public
Forked from anton-trunov/coq-lecture-notesCoq Lecture Notes
Coq UpdatedMar 23, 2020 -
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedMar 21, 2020 -
coq Public
Forked from rocq-prover/rocqCoq 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 UpdatedMar 19, 2020 -
GeoCoq Public
Forked from GeoCoq/GeoCoqA formalization of geometry in Coq based on Tarski's axiom system
Coq GNU Lesser General Public License v3.0 UpdatedMar 13, 2020 -
-
noir Public
Forked from essentialenemy/noirAn automatic dark mode adaptation of the Poole theme for Jekyll.
CSS Other UpdatedFeb 11, 2020 -
-
hugo-theme-terminal Public
Forked from panr/hugo-theme-terminalA simple, retro theme for Hugo
CSS MIT License UpdatedJan 15, 2020 -
practices-of-the-python-pro Public template
Forked from daneah/practices-of-the-python-proExamples and exercises for Practices of the Python Pro from Manning Books 🐍📘
Python MIT License UpdatedJan 3, 2020 -
{{ message }}