Alternatives and similar repositories for double-blind-reviewing.github.io

Users that are interested in double-blind-reviewing.github.io are comparing it to the libraries listed below

• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• jcpaik / sofa-designer
  A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …
  ☆26Updated last year
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 10 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆70Updated last year
• gai4se / GAI4SE-Course
  ☆21Updated 3 weeks ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• bastien-roucaries / latex-pax
  ☆12Updated 3 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• LLNL / CallFlow
  Visualization tool for analyzing call trees and graphs
  ☆34Updated 2 years ago
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆58Updated 10 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆26Updated this week
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 6 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated 11 months ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• se-ubt / llm-guidelines-website
  Website with community guidelines for empirical studies involving LLMs.
  ☆14Updated this week
• barak / f2c
  the vernerable fortran to c compiler, mirror of netlib packed in repo, w/ debian packaging scripts
  ☆21Updated last year
• open-ce / open-ce-builder
  Build tools for Open-CE
  ☆13Updated last month
• PreTeXtBook / pretext-cli
  Command line interface for quickly creating, authoring, and building PreTeXt documents.
  ☆20Updated last week
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆48Updated last year
• jkulhanek / pyoverleaf
  Python Overleaf API and simple CLI
  ☆27Updated last month
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆61Updated 2 years ago
• PRUNERS / archer
  Archer, a data race detection tool for large OpenMP applications
  ☆64Updated 4 years ago