Alternatives and similar repositories for april-cools.github.io

Users that are interested in april-cools.github.io are comparing it to the libraries listed below

• davidnunez / I-AM
  Esoteric language for programmers who want to investigate whether or not they and everything they know in their world is actually real.
  ☆18Updated 5 years ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated 2 weeks ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆176Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated last week
• ajcr / transfinite
  Transfinite ordinal arithmetic and factorisation up to epsilon-zero
  ☆16Updated 3 years ago
• ericastor / rmzoo
  ☆14Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆78Updated 2 years ago
• MathBases / MathBases
  ☆27Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 3 years ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆46Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• explanaria / explanaria.github.io
  interactive math, intuitively
  ☆40Updated 8 months ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated last week
• ostwilkens / aoc2022
  Advent of Code 2022 solved using GPT
  ☆33Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated 2 years ago
• agentultra / lean-for-hackers
  ☆20Updated 3 years ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆116Updated this week
• 1000-plus / 1000-plus.github.io
  https://1000-plus.github.io/
  ☆22Updated 2 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆295Updated this week
• blanchette / logical_verification_2021
  ☆25Updated 4 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 5 months ago
• leanprover / human-eval-lean
  Hand-written verified Lean solutions for the HumanEval benchmark
  ☆27Updated this week