-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
-
ebb-and-flow Public
Differential Boolean vector functions (including S-boxes) in Rust
Rust UpdatedOct 7, 2025 -
miratope-rs Public
Forked from galoomba1/miratope-rsA tool for building and visualizing polytopes.
Rust MIT License UpdatedOct 6, 2022 -
-
rust-implementation Public
Forked from typescript-tools/rust-implementationA rust implementation of the typescript-tools
Rust ISC License UpdatedApr 27, 2022 -
-
-
bevy_either Public
A Bevy crate allowing macro-built WorldQueries matching over one of many other WorldQueries.
Rust Apache License 2.0 UpdatedJun 17, 2021 -
geodude Public
Formalizing basic ordered geometry in Lean, for fun
Lean MIT License UpdatedMay 9, 2021 -
-
hexasphere Public
Forked from OptimisticPeach/hexasphereHexagonally tiling a sphere.
Rust Mozilla Public License 2.0 UpdatedFeb 17, 2021 -
splr Public
Forked from shnarazk/splrA modern CDCL SAT solver in Rust
Rust Other UpdatedFeb 8, 2021 -
-
yeet Public
theorems related to the yeet conjecture (https://www.reddit.com/r/mathmemes/comments/dbfsni/yeet_theorem/)
-
mcts Public
Forked from zxqfl/mctsGeneric, parallel Monte Carlo tree search library
-
-
bevy Public
Forked from bevyengine/bevyA refreshingly simple data-driven game engine built in Rust
Rust MIT License UpdatedOct 15, 2020 -
rhai Public
Forked from rhaiscript/rhaiRhai - An embedded scripting language for Rust
Rust Apache License 2.0 UpdatedAug 30, 2020 -
-
yoloxide Public
Forked from Jerald/yoloxideA rust implementation of the yolol language from the upcoming game Starbase
Rust MIT License UpdatedMar 22, 2020 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMar 11, 2020 -
-
yolol-is-cylons Public
Forked from Jerald/yolol-is-cylonsA collection of resources related to yolol, its community standards, and what we hope it can become
MIT License UpdatedJul 15, 2019 -
lbry-comments Public archive
The server for LBRY comments
-
metronome32 Public archive
A Pendulum ISA virtual machine in C++14.
-
ggvec Public archive
A fast LuaJIT 2D, 3D, and 4D vector library
-
luabry Public archive
A thin pseudo-binding for the lbrynet daemon in Lua 5.1.
-
luadcpy Public archive
Deep copy implementation functions in Lua.
Lua MIT License UpdatedJun 12, 2018
{{ message }}