Alternatives and similar repositories for Final-Exam:

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

• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆452Updated 3 years ago
• altercation / dotfiles-tilingwm
  Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment …
  ☆15Updated 8 years ago
• Kharacternyk / pacwall
  A live wallpaper that shows the dependency graph and status of installed packages.
  ☆566Updated 2 months ago
• WillPower3309 / dotfiles
  Collection of i3-gaps Dotfiles
  ☆178Updated 5 years ago
• johnvictorfs / dotfiles
  My personal linux dotfiles for zsh, i3-gaps, neovim and others
  ☆10Updated 8 months ago
• odayibas / CS443
  Bilkent University / Computer Science Dpt. / CS443 – Cloud Computing & Mobile Applications
  ☆44Updated 3 years ago
• material-shell / material-awesome
  Material and Mouse driven config for AwesomeWM 4.3
  ☆689Updated 5 years ago
• kiliwarmuth / dotfiles
  Arch Linux dotfiles
  ☆96Updated 7 months ago
• kanishkarj / i3-config
  I3-gaps configuration
  ☆78Updated 4 years ago
• addy-dclxvi / tint2-theme-collections
  My personal backup repository of Tint2 themes
  ☆525Updated last year
• ila / TUM
  Notes, material and various stuff collected while attended TUM Master's Degree
  ☆450Updated 2 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• mateosss / matter
  Customizable GRUB theme inspired by Material Design
  ☆884Updated 2 years ago
• ArcelikAcikKaynak / Code2Image
  Intelligent Code Analysis by Computer Vision Techniques and Application to Vulnerability Prediction
  ☆8Updated 3 years ago
• hpdeifel / sansa
  Commandline interface to the aria2 download manager
  ☆10Updated 9 years ago
• Litarvan / lightdm-webkit-theme-litarvan
  Litarvan's LightDM HTML Theme
  ☆716Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆509Updated this week
• SJTU-UMJI-Tech / LaTeX
  ☆19Updated 3 years ago
• addy-dclxvi / almighty-dotfiles
  A dump repository of my dotfiles since the first time I learned ricing. So everything is really messy here.
  ☆1,388Updated 5 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• dmhacker / arch-linux-surface
  Arch Linux kernel patcher for Surface devices
  ☆335Updated 4 years ago
• calganaygun / earthquakes-action
  ☆10Updated 4 years ago
• onprem / dotfiles
  this repo contains dotfiles of my setups
  ☆57Updated 3 years ago
• lac-dcc / hapi
  A domain specific language to define access policies.
  ☆14Updated 3 years ago
• addy-dclxvi / i3-starterpack
  A simple guide (and example of configuration) about how to install i3 & its and essentials packages, then make them look eye candy, also …
  ☆1,548Updated 3 months ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• oppiliappan / dotfiles
  files that define my GNU/Linux box.
  ☆350Updated 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 this week
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆171Updated 4 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆121Updated 2 weeks ago