Highlights
- Pro
-
-
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMar 27, 2022 -
LowRankTex Public
The LaTeX for the LowRank module at https://github.com/Vilin97/LowRank.jl
TeX UpdatedJan 14, 2022 -
Bank Public
Object-oriented implementation of a bank with a GUI for the clients and the manager
-
TheQuest Public
Object Oriented Quest. The player controls a team of heroes, fights monsters, gets money and experience, gets upgrades at markets
Java UpdatedJan 13, 2022 -
-
tutorials Public
Forked from leanprover-community/tutorialsSome Lean tutorials
Lean Apache License 2.0 UpdatedSep 23, 2021 -
SciMLTutorials.jl Public
Forked from SciML/SciMLTutorials.jlTutorials for doing scientific machine learning (SciML) and high-performance differential equation solving with open source software.
CSS Other UpdatedAug 14, 2021 -
-
-
-
-
LowRank.jl Public
A module for identifying low-rank subsets and subgraphs
Julia MIT License UpdatedSep 21, 2020 -
-
-
-
Tic-Tac-Toe Public
An Object-Oriented implementation of a Tic-Tac-Toe game in Java.
UpdatedFeb 6, 2020 -
-
-
Intuitive_beliefs Public
Implementation of the model of Intuitive Beliefs
Jupyter Notebook UpdatedJun 30, 2018 -
-
course-2018-spr-proj Public
Forked from kbsec/course-2018-spr-projProjects developed during the Spring 2018 iteration of the Data Mechanics course at Boston University.
HTML UpdatedMay 7, 2018