Alternatives and similar repositories for Final-Exam

Users that are interested in Final-Exam are comparing it to the libraries listed below

• mcserep / elteikthesis
  ELTE FI bachelor and master thesis template.
  ☆69Updated last year
• firatakandere / i3blocks-spotify
  Very simple Python script to display artist name and track title on i3blocks
  ☆64Updated 6 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆430Updated this week
• WillPower3309 / dotfiles
  Collection of i3-gaps Dotfiles
  ☆178Updated 5 years ago
• mateosss / matter
  Customizable GRUB theme inspired by Material Design
  ☆893Updated 2 years ago
• Litarvan / lightdm-webkit-theme-litarvan
  Litarvan's LightDM HTML Theme
  ☆718Updated last year
• i3-gnome / i3-gnome
  Use i3wm/i3-gaps with GNOME Session infrastructure.
  ☆943Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆456Updated 4 years ago
• avivace / dotfiles
  i3 + Plasma: using the i3 window manager on the top of KDE Plasma and other dotfiles, configurations, scripts, workarounds and practises …
  ☆792Updated last month
• n4n0GH / hello
  the complete KDE theme
  ☆217Updated 3 years ago
• ckaestne / gdoc2latex
  ☆13Updated 3 months ago
• zoeyfyi / TeX-Match
  Search through over 1000 different LaTeX symbols by sketching. A desktop version of detexify.
  ☆158Updated 2 years ago
• mgttlinger / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆18Updated 2 years ago
• rtlewis88 / rtl88-Themes
  GTK, xfwm4, openbox-3, GNOME-Shell Themes, and Cinnamon themes
  ☆330Updated 2 years ago
• SwiftyChicken / dotfiles
  My dotfiles
  ☆285Updated 2 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆409Updated 5 months ago
• oppiliappan / dotfiles
  files that define my GNU/Linux box.
  ☆349Updated 4 years ago
• lbonn / i3-quickterm
  A small drop-down terminal for i3 and sway
  ☆129Updated last year
• AUEB-BALab / ExamQuestionnaireScanner
  A Python tool used for parsing exam questionnaires
  ☆15Updated last week
• addy-dclxvi / conky-theme-collections
  Some my uninteresting homebrew Conky
  ☆328Updated 6 years ago
• resloved / i3
  🔲 — Rounded i3-gaps
  ☆277Updated 4 years ago
• addy-dclxvi / xfwm4-theme-collections
  My Xfwm/Xfce Theme Collections
  ☆656Updated 2 years ago
• altercation / dotfiles-tilingwm
  Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment …
  ☆16Updated 8 years ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• LRA-QC / arch_installer
  script to install arch linux very quickly
  ☆108Updated 4 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• jumper149 / dotfiles
  Dotfiles for my Linux-Systems
  ☆27Updated 2 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆512Updated 3 weeks ago
• dietervanhoof / polybar-spotify-controls
  ☆87Updated 4 years ago
• GideonWolfe / dots
  🌀 my linux configuration
  ☆98Updated 4 years ago