AsForMe

fucking-algorithm

手把手撕LeetCode题目，扒各种算法套路的裤子。English version supported! Crack LeetCode, not only how, but also why.

LibgenDesktop

Personal-Academic-Research

Personal Academic Research for all interesting things

500lines

500 Lines or Less

AR.js

Efficient Augmented Reality for the Web - 60fps on mobile!

Atcoder-Educational-DP-Contest-Editorial

C-Plus-Plus

All Algorithms implemented in C++

cryptominisat

An advanced SAT solver

demo-solara

A few of my side projects using 'manim' engine developed by Grant Sanderson (3Blue1Brown).

DiffEqBase.jl

The lightweight Base library for shared types and functionality.

DiffEqSensitivity.jl

A component of the DiffEq ecosystem for sensitivity analysis

DiffEqTutorials.jl

Tutorials for using the DiffEq ecosystem

DifferentialEquations.jl

Multi-language suite for high-performance solvers of differential equations

gym

A toolkit for developing and comparing reinforcement learning algorithms.

js-aruco

JavaScript library for Augmented Reality applications

Julia-to-JS

Compile Julia to Javascript via a web interface

JuMP.jl

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

lean

Lean Theorem Prover

LeetCode

This 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 problems attempted multiple times are labelled with hyperlinks.

minisat

A minimalistic and high-performance SAT solver

my_leetcode

A place to store my code for leetcode

natural_number_game

Building the natural numbers in Lean.

OrdinaryDiffEq.jl

DiffEq solvers for ordinary differential equations

PublicPowerPoints

Some slightly valuable sharing of mine towards my friends.

Python

All Algorithms implemented in Python

three.js

JavaScript 3D library.

tianshou

An elegant, flexible, and superfast PyTorch deep Reinforcement Learning platform.

www.julialang.org

Julia Project website

Yet-Another-EfficientDet-Pytorch

The pytorch re-implement of the official efficientdet with SOTA performance in real time and pretrained weights.

ZO_NGD_blackbox