Alternatives and similar repositories for holy-emapian-scripture

Users that are interested in holy-emapian-scripture are comparing it to the libraries listed below

• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆27Updated 4 months ago
• matwerner / fgv-lp
  ☆22Updated last week
• fccoelho / introcomp
  Curso de introdução à computação
  ☆41Updated 4 months ago
• maxbiostat / stats_modelling
  Resources for Statistical Modelling ("Modelagem Estatística").
  ☆66Updated 3 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,438Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆718Updated this week
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆33Updated 2 years ago
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,230Updated last week
• leic-pt / resumos-leic
  Resumos das UCs de LEIC-A do IST
  ☆59Updated last month
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,574Updated this week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,715Updated 2 weeks ago
• 3b1b / videos
  Code for the manim-generated scenes used in 3blue1brown videos
  ☆9,866Updated 5 months ago
• torresmateo / fgv-class-2022
  ☆14Updated 2 years ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,168Updated last month
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆421Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆329Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆364Updated this week
• vicinaehq / vicinae
  A focused launcher for your desktop — native, fast, extensible
  ☆2,976Updated last week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆648Updated this week
• cd-moj / cdmoj
  CD-MOJ
  ☆23Updated 3 months ago
• pedrotokar / monitoria-LP
  Repositório de apoio para as monitorias do curso de Linguagens de Programação da FGV EMAp em 2024.2.
  ☆10Updated 11 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆432Updated 4 months ago
• Gadjib / ocamlhomeworks
  Repository for homeworks.
  ☆10Updated 4 years ago
• BRUTEUdesc / AlmanaqueBrute
  Repositório para códigos de competição
  ☆44Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆232Updated 7 months ago
• matrusp / matrusp
  Repositório principal do projeto MatrUSP
  ☆118Updated 2 years ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆461Updated 2 months ago
• icmcgema / gema
  Aulas, códigos e resumos de tópicos de programação competitiva!
  ☆28Updated 4 years ago
• RemyDegenne / brownian-motion
  Construction of a Brownian Motion in Lean
  ☆23Updated this week
• maumneto / TemplateBeamerUFC
  Template for Federal University of Ceará (UFC) presentations in LaTeX.
  ☆12Updated last year