Alternatives and similar repositories for osue-tuwien.github.com:

Users that are interested in osue-tuwien.github.com are comparing it to the libraries listed below

• osue-tuwien / exercises
  OSUE exercises
  ☆26Updated 2 years ago
• Szuuuken / evc
  VU Einführung in Visual Computing Fragenkatalog Trainer
  ☆11Updated 2 years ago
• quasylab / sibilla
  A tool for forecasting behaviour of Collective Adaptive Systems.
  ☆7Updated last week
• SSoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆15Updated 3 months ago
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆27Updated 2 weeks ago
• badlogic / woswormeileistung
  ☆14Updated 8 months ago
• zlumer / typescript-node-basic
  Project structure for a simple Node.js+TypeScript app
  ☆11Updated 8 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• exoji2e / notebook
  ☆16Updated 4 months ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆114Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 3 years ago
• opieters / limecv
  A LaTeX CV Document Class
  ☆419Updated 3 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• florianschmidt1994 / chefkoch-api
  Simple API wrapper for chefkoch.de written in Python
  ☆19Updated 3 years ago
• chauff / cse1500-web-transcripts
  CSE1500: lecture transcripts, slides, past exams, etc. of the web technology part of the course.
  ☆2Updated 5 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆572Updated 4 years ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 3 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆73Updated this week
• phreppo / rat
  🐀 Regular Expression Denial of Service analyzer.
  ☆25Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆64Updated 9 months ago
• sibalzer / impfbot
  Benachrichtigungs-Bot für das niedersächische Impfportal / Notification bot for the lower saxony vaccination portal https://impfportal-ni…
  ☆36Updated 3 years ago
• diku-dk / diku-canvas
  Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
  ☆31Updated 7 months ago
• studip-sync / studip-sync
  ☆32Updated 4 months ago
• fhirschmann / tucan
  [DEPRECATED] Notifies you via email when there are new grades available in the campus management system of Technische Universität Darmsta…
  ☆15Updated 10 years ago
• novoid / LaTeX-KOMA-template
  Generic template for midsize and larger documents based on KOMA script classes.
  ☆204Updated 2 years ago
• badlogic / orfondl
  Downloader for videos on ORF ON
  ☆27Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆28Updated this week