Alternatives and similar repositories for speedyscholar

Users that are interested in speedyscholar are comparing it to the libraries listed below

• ds4se / chapters
  Perspectives on Data Science for Software Engineering
  ☆61Updated 2 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• rosulek / vamonos
  Vamonos: browser-based algorithm visualization
  ☆135Updated 6 months ago
• rtoal / ple
  Programming Language Explorations
  ☆94Updated last week
• AZHenley / hcse-dissertations
  A list of human-centered software engineering dissertations.
  ☆48Updated 2 years ago
• nokia / code-compass
  a contextual search engine for software packages built on import2vec embeddings (https://www.code-compass.com)
  ☆38Updated 5 years ago
• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 9 years ago
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• bblfsh / libuast
  ☆20Updated 5 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• JetBrains-Research / DeepBugsPlugin
  Deep learning-based bug detector for IntelliJ
  ☆6Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• nuprl / Ocelot
  An IDE for JavaScript, without the "bad parts".
  ☆29Updated 2 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• 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
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• src-d / tmsc
  ☆22Updated 6 years ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆50Updated 2 years ago
• afterburnerdb / afterburner
  Interactive SQL analytics in your browser!
  ☆22Updated 7 years ago
• riivo / package-dependency-networks
  Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks
  ☆18Updated 6 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 8 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 7 months ago
• LearnLib / alex
  Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…
  ☆37Updated 11 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 3 months ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆43Updated 8 years ago