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
  ☆29Updated 6 months ago
• fccoelho / introcomp
  Curso de introdução à computação
  ☆42Updated 6 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆787Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,742Updated this week
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,423Updated this week
• adriankarlen / textfox
  firefox theme for the tui enthusiast
  ☆1,610Updated last week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆7,054Updated this week
• viu-media / viu
  Your browser anime experience from the terminal
  ☆969Updated last week
• mierak / rmpc
  A modern, configurable, terminal based MPD Client with album art support via various terminal image protocols
  ☆1,988Updated this week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆752Updated this week
• marinn1x / .s
  Hyprland dotfiles & other stuff
  ☆60Updated 11 months ago
• Legend0804 / Hyprland-1
  ☆133Updated 5 months ago
• orangci / walls
  orangc's wallpaper repository.
  ☆221Updated last month
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆452Updated 5 months ago
• yous3fghazyv11 / Dotfiles
  my personal dotfiles
  ☆70Updated last month
• maxbiostat / Statistical_Inference_BSc
  Course materials for Statistical Inference ("Inferência Estatística")
  ☆63Updated 2 years ago
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆33Updated 2 years ago
• ravachol / kew
  Music for the Shell.
  ☆2,355Updated this week
• josueBarretogit / manga-tui
  Terminal-based manga reader and downloader with image rendering support
  ☆785Updated last month
• NotNeelPatel / WallpaperThemeConverter
  Change the colour schemes of wallpapers
  ☆136Updated last month
• ImSb91 / hyprland-dotfiles
  ☆28Updated 6 months ago
• iluvgirlswithglasses / dotfiles
  My dotfiles on Debian!
  ☆39Updated 2 months ago
• Benexl / yt-x
  Browse youtube from your terminal
  ☆1,324Updated 3 weeks ago
• cebem1nt / dotfiles
  my bad, its hyprland :<
  ☆119Updated this week
• quickshell-mirror / quickshell
  Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11
  ☆1,769Updated this week
• hudson-liu / dotfiles
  Arch Linux in the "Tokyo Night" color theme. Managed with Chezmoi.
  ☆67Updated 2 months ago
• noctalia-dev / noctalia-shell
  A sleek and minimal desktop shell thoughtfully crafted for Wayland.
  ☆2,442Updated this week
• vyrx-dev / dotfiles
  a setup I wish already existed
  ☆301Updated this week
• elkowar / eww
  ElKowars wacky widgets
  ☆11,922Updated 6 months ago
• Szmelc-INC / cdvd
  Eyecandy Screensaver ~ DvD logo in CLI written in C
  ☆32Updated 4 months ago