-
U2FsdGVkX19fFuO0eJ7kfNRxmmwPU4e0
- 5466ee572bcbc75830d044e66ab429bc
Highlights
- Pro
-
lean Public
Forked from leanprover-community/leanLean Theorem Prover
-
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
Lean Apache License 2.0 UpdatedAug 20, 2020 -
demo-solara Public
Forked from Solara570/demo-solaraA few of my side projects using 'manim' engine developed by Grant Sanderson (3Blue1Brown).
Python UpdatedMay 12, 2020 -
cryptominisat Public
Forked from msoos/cryptominisatAn advanced SAT solver
C++ Other UpdatedApr 15, 2020 -
Yet-Another-EfficientDet-Pytorch Public
Forked from zylo117/Yet-Another-EfficientDet-PytorchThe pytorch re-implement of the official efficientdet with SOTA performance in real time and pretrained weights.
Python GNU Lesser General Public License v3.0 UpdatedApr 15, 2020 -
PublicPowerPoints Public
Some slightly valuable sharing of mine towards my friends.
UpdatedApr 14, 2020 -
JuMP.jl Public
Forked from jump-dev/JuMP.jlModeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Julia Other UpdatedApr 12, 2020 -
DiffEqTutorials.jl Public
Forked from SciML/SciMLTutorials.jlTutorials for using the DiffEq ecosystem
HTML Other UpdatedApr 12, 2020 -
C-Plus-Plus Public
Forked from TheAlgorithms/C-Plus-PlusAll Algorithms implemented in C++
C++ MIT License UpdatedApr 1, 2020 -
Python Public
Forked from TheAlgorithms/PythonAll Algorithms implemented in Python
Python MIT License UpdatedApr 1, 2020 -
LeetCode Public
Forked from wisdompeak/LeetCodeThis repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The proble…
C++ UpdatedMar 30, 2020 -
my_leetcode Public
Forked from zqy1018/my_leetcodeA place to store my code for leetcode
C++ UpdatedMar 29, 2020 -
tianshou Public
Forked from thu-ml/tianshouAn elegant, flexible, and superfast PyTorch deep Reinforcement Learning platform.
Python MIT License UpdatedMar 29, 2020 -
Atcoder-Educational-DP-Contest-Editorial Public
Forked from spicy-onion-Hit/Atcoder-Educational-DP-Contest-EditorialUpdatedMar 28, 2020 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedMar 24, 2020 -
DiffEqBase.jl Public
Forked from SciML/DiffEqBase.jlThe lightweight Base library for shared types and functionality.
Julia Other UpdatedMar 21, 2020 -
OrdinaryDiffEq.jl Public
Forked from SciML/OrdinaryDiffEq.jlDiffEq solvers for ordinary differential equations
Julia Other UpdatedMar 21, 2020 -
DiffEqSensitivity.jl Public
Forked from SciML/SciMLSensitivity.jlA component of the DiffEq ecosystem for sensitivity analysis
Julia Other UpdatedMar 21, 2020 -
www.julialang.org Public template
Forked from JuliaLang/www.julialang.orgJulia Project website
Jupyter Notebook Other UpdatedMar 18, 2020 -
fucking-algorithm Public
Forked from labuladong/fucking-algorithm手把手撕LeetCode题目,扒各种算法套路的裤子。English version supported! Crack LeetCode, not only how, but also why.
1 UpdatedMar 13, 2020 -
Personal-Academic-Research Public
Personal Academic Research for all interesting things
1 UpdatedMar 13, 2020 -
DifferentialEquations.jl Public template
Forked from SciML/DifferentialEquations.jlMulti-language suite for high-performance solvers of differential equations
Julia Other UpdatedFeb 12, 2020 -
-
Julia-to-JS Public
Forked from amellnik/Julia-to-JSCompile Julia to Javascript via a web interface
JavaScript UpdatedJan 14, 2020 -
500lines Public
Forked from aosabook/500lines500 Lines or Less
JavaScript Other UpdatedDec 20, 2019 -
js-aruco Public
Forked from jcmellado/js-arucoJavaScript library for Augmented Reality applications
JavaScript Other UpdatedDec 12, 2019 -
AR.js Public
Forked from jeromeetienne/AR.jsEfficient Augmented Reality for the Web - 60fps on mobile!
HTML MIT License UpdatedDec 10, 2019 -
gym Public
Forked from openai/gymA toolkit for developing and comparing reinforcement learning algorithms.
Python Other UpdatedNov 27, 2019 -
three.js Public
Forked from mrdoob/three.jsJavaScript 3D library.
JavaScript MIT License UpdatedNov 21, 2019 -