Mastering the Game of FizzBuzz without Human Knowledge
☆23May 11, 2018Updated 7 years ago
Alternatives and similar repositories for FizzBuzzZero
Users that are interested in FizzBuzzZero are comparing it to the libraries listed below
Sorting:
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆30Apr 3, 2024Updated last year
- Blue theme for arXiv website☆38Nov 30, 2023Updated 2 years ago
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆13Mar 2, 2026Updated last week
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- LINE: Loop Integrals Numerical Evaluation☆11Jun 18, 2025Updated 8 months ago
- ☆13Jul 8, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- [2.3] UNOFFICIAL repo of FeynRules written by Christensen, Duhr, Fuks, et al.☆11Jul 10, 2025Updated 7 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Official PyTorch code for UAI 2023 paper "Concurrent Misclassification and Out-of-Distribution Detection for Semantic Segmentation via En…☆12Nov 10, 2023Updated 2 years ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 6 years ago
- ☆41Nov 16, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Feynrules and UFO models for SMEFT phenomenology☆16Oct 6, 2022Updated 3 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆16Oct 30, 2025Updated 4 months ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 5 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Updated this week
- Lindemann–Weierstrass Theorem☆11May 4, 2024Updated last year
- A C++ library to perform rational function interpolation over finite fields with a rational number reconstruction to promote the coeffici…☆11May 26, 2025Updated 9 months ago
- Mathching & Running☆10Oct 31, 2024Updated last year
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 8 months ago
- A github action to create a file in your github workflow.☆10Apr 5, 2024Updated last year
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Current public version☆13Feb 6, 2026Updated last month
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Exercise files for the book titled Functional Programming in PHP☆10Jun 11, 2022Updated 3 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- LatNet Builder: A General Software Tool For Constructing Highly Uniform Point Sets☆17Aug 22, 2025Updated 6 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago