5-day longest streak
-
trig-egg
No description.
Lean ★ 1 8mo agoExplain → -
manim-videos
Source code for YouTube videos at Totient
Python ★ 1 5y agoExplain → -
trig-extraction
No description.
Lean ★ 0 3mo agoExplain → -
lean-tactic-programming-guide ⑂
Beginner's guide to Tactic Programming in Lean
★ 0 10mo agoExplain → -
egg ⑂
egg is a flexible, high-performance e-graph library
Rust ★ 0 5mo agoExplain → -
grind-extraction ⑂
No description.
★ 0 8mo agoExplain → -
TRIGO ⑂
[EMNLP2023🔥] TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models" accepted by the main conference of EMNLP 2023.
★ 0 2y agoExplain → -
lean-egg ⑂
A (WIP) equality saturation tactic for Lean based on egg.
Lean ★ 0 10mo agoExplain → -
egg-sketches ⑂
sketches for egg: a flexible, high-performance e-graph library
★ 0 1y agoExplain → -
Metatheory.jl ⑂
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
★ 0 11mo agoExplain → -
Lean4-FFI-Programming-Tutorial-GLFW ⑂
Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
★ 0 10mo agoExplain → -
theorem_proving_in_lean4 ⑂
Theorem Proving in Lean 4
★ 0 11mo agoExplain → -
mathematics_in_lean ⑂
The user home repository for the Mathematics in Lean tutorial.
HTML ★ 0 11mo agoExplain → -
webanims
No description.
HTML ★ 0 2y agoExplain → -
Zetris ⑂
Zetris - MisaMino-based Tetris AI for Puyo Puyo Tetris
★ 0 4y agoExplain → -
quantifying ⑂
Quantifying the Commons
Jupyter Notebook ★ 0 2y agoExplain → -
demo-repo ⑂
No description.
★ 0 2y agoExplain → -
alpha
No description.
★ 0 2y agoExplain → -
tp ⑂
No description.
Java ★ 0 2y agoExplain → -
PyBaMM ⑂
Fast and flexible physics-based battery models in Python
★ 0 2y agoExplain → -
test-java-checkstyle
No description.
Java ★ 0 2y agoExplain → -
Roomba ⑂
Roomba is a Discord Bot meant for creating Tetris rooms
★ 0 5y agoExplain → -
Second
No description.
★ 0 2y agoExplain → -
manim ⑂
Animation engine for explanatory math videos
Python ★ 0 2y agoExplain → -
nusmods ⑂
🏫 Official course planning platform for National University of Singapore.
★ 0 3y agoExplain → -
latex-template
LaTeX template for personal use
TeX ★ 0 4y agoExplain → -
test-codespaces
No description.
EJS ★ 0 4y agoExplain → -
beautifulhugo ⑂
Theme for the Hugo static website generator
HTML ★ 0 4y agoExplain → -
cold-clear ⑂
Tetris Bot
★ 0 4y agoExplain → -
manim-website ⑂
Manim landing page.
JavaScript ★ 0 4y agoExplain → -
website
My website
★ 0 4y agoExplain → -
website-aquabeam ⑂
My personal webstie to store cool stuff 🤖
★ 0 4y agoExplain → -
crowdin-tests
No description.
★ 0 4y agoExplain → -
jupyter-manim ⑂
manim cell magic for IPython/Jupyter to show the output video
★ 0 4y agoExplain → -
crowdin-api-client-python ⑂
Python client library for Crowdin API v2
★ 0 4y agoExplain → -
Hacktoberfest-2021-legit ⑂
A list of legitimate projects to contribute to during Hacktoberfest 2021
★ 0 4y agoExplain → -
up-for-grabs.net ⑂
This is a list of projects which have curated tasks specifically for new contributors. These issues are a great way to get started with a project, or to help share the load of working on open source projects. Jump in!
★ 0 4y agoExplain → -
manim-1 ⑂
Animation engine for explanatory math videos
★ 0 5y agoExplain → -
manim-debugging
No description.
GLSL ★ 0 5y agoExplain → -
DiscordManimator ⑂
A Manim Rendering Bot for Discord. Requires a Functioning Manim install.
Python ★ 0 4y agoExplain → -
moderngl ⑂
Modern OpenGL binding for python
★ 0 5y agoExplain → -
latex-pass ⑂
Help you pass the LaTeX compilation by telling you which LaTeX packages are missing to compile your documents
★ 0 5y agoExplain → -
Darylgolden
Config files for my GitHub profile.
★ 0 5y agoExplain → -
guzzle_sphinx_theme ⑂
Sphinx theme used by Guzzle
HTML ★ 0 5y agoExplain → -
coastline_dimensionality
Mathematics Exploration
Python ★ 0 5y agoExplain → -
mygithubpage
No description.
★ 0 11y agoExplain →
No repos match these filters.