Leetcode problems that I have solved

University courses that I have finished - tasklists, solutions, study materials

freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

Zig Mathematics Library

Σ Calculate mathematical formulas with issue data

MathJSLab organization profile.

📈 NSNumber refines that use the math library

oj! Algorithms

a user interface, infinite whiteboard with interactive elements, zoom while drawing, infiniteCanvas, fabricjs infinitewhiteboard, fabric js infinite canvas, virtual whiteboard, freedrawing mathgame

A human-friendly and developer-friendly math proof assistant

Working through Theorem Proving in Lean4

A collection of data-structures and algorithms

A small collection of lesser-known statistical measures

Tensor math and scientific computation for the Godot game engine.

A book about category theory

Symbolic Math System scripting language

Solutions of Solved Algorithm problems from various different online judges.

코딩테스트 대비 문제집(Baekjoon Online Judge)

Petit site web où je mets tous mes cours à disposition ainsi que les ressources qui y sont liées.

Math JIT Compiler and Graph Renderer