-
rust-bot Public
Forked from will-hanabi-bot/rust-botA bot that plays on the hanab.live interface, but in Rust.
Rust GNU General Public License v3.0 UpdatedJul 5, 2025 -
hanabi.rs Public
Forked from WuTheFWasThat/hanabi.rsState of the art Hanabi bots + simulation framework in rust
Rust UpdatedMay 31, 2025 -
LeanSudoku Public
Forked from avigad/LeanSudokuPlaying Sudoku in the Lean 4 proof assistant
Lean Apache License 2.0 UpdatedOct 23, 2024 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedSep 2, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 5, 2024 -
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedMar 1, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedDec 20, 2023 -
roc Public
Forked from roc-lang/rocA fast, friendly, functional language. Work in progress!
Rust Universal Permissive License v1.0 UpdatedDec 2, 2023 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedJul 1, 2023 -
mm0 Public
Forked from digama0/mm0Metamath Zero specification language
Rust Creative Commons Zero v1.0 Universal UpdatedJun 8, 2023 -
tetris-bevy Public
A tetris clone with the Bevy game engine
Rust Apache License 2.0 UpdatedMay 29, 2023 -
egglog Public
Forked from egraphs-good/egglogegraphs + datalog!
Rust MIT License UpdatedMay 24, 2023 -
rapier.rs Public
Forked from dimforge/rapier.rsOfficial website for the Rapier physics engine.
HTML UpdatedJan 8, 2023 -
hanabi-live Public
Forked from Hanabi-Live/hanabi-liveA web server that allows people to play Hanabi, a cooperative card game of logic and reasoning.
TypeScript GNU General Public License v3.0 UpdatedDec 24, 2022 -
rust-zome-template Public
Forked from holochain/rust-zome-templateZome templates used by the Holochain dev tool HC
Rust UpdatedDec 16, 2022 -
-
sudoku Public
Forked from TwoFX/sudokuA sudoku game where you have to prove that your deductions are valid
Lean Apache License 2.0 UpdatedAug 31, 2022 -
lftcm2020 Public
Forked from leanprover-community/lftcm2020Lean for the Curious Mathematician 2020
Lean UpdatedJun 26, 2022 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMay 15, 2022 -
haskell-learning Public
My initial projects for learning Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 26, 2022 -
salsa Public
Forked from nikomatsakis/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Rust Apache License 2.0 UpdatedApr 24, 2022 -
dada Public
Forked from dada-lang/dada8000I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
JavaScript Apache License 2.0 UpdatedApr 23, 2022 -
HVM Public
Forked from HigherOrderCO/HVMA massively parallel, optimal functional runtime in Rust
Rust MIT License UpdatedApr 20, 2022 -
nomicon Public
Forked from rust-lang/nomiconThe Dark Arts of Advanced and Unsafe Rust Programming
CSS Apache License 2.0 UpdatedApr 3, 2022 -
rustc-perf Public
Forked from rust-lang/rustc-perfWebsite for graphing performance of rustc
Rust UpdatedApr 2, 2022 -
-
argon2min Public
Forked from FauxFaux/argon2minThe pure-Rust password hashing library running on Argon2.
Rust MIT License UpdatedJan 12, 2022 -
holochain Public
Forked from holochain/holochainThe new, performant, and simplified version of Holochain on Rust (sometimes called Holochain RSM for Refactored State Model)
Rust Other UpdatedDec 10, 2021 -
{{ message }}