Alternatives and similar repositories for speedyscholar

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

• ChalmersGU-AI-course / shrdlite-course-project
  AI course project template, inspired by Terry Winograd's classic Shrdlu system
  ☆40Updated 7 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
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• nuprl / Ocelot
  An IDE for JavaScript, without the "bad parts".
  ☆30Updated 2 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆80Updated 3 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 4 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆9Updated 9 years ago
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• mkery / Variolite
  ☆16Updated 8 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆12Updated 9 years ago
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆19Updated 5 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆83Updated 2 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆95Updated 2 years ago
• prathyvsh / htdp
  How to design programs
  ☆33Updated 9 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• rosulek / vamonos
  Vamonos: browser-based algorithm visualization
  ☆135Updated 5 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• stevekrouse / hs.js
  ☆39Updated 10 years ago
• prathyvsh / history-of-mathematics
  Catalogue of the hisotry of Mathematics
  ☆33Updated 2 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 6 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• w2g / w2g
  World Wide Graph: A memex for semantic notetaking
  ☆46Updated 4 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆21Updated 3 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year