aymannadeem / speedyscholar
Summaries of academic papers
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for speedyscholar
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆16Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- A live programming environment that lets you see the inner workings of programs☆77Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- ☆139Updated last month
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Reference implementation of Knowledge Server Protocol (KSP)☆48Updated 4 years ago
- World Wide Graph: A memex for semantic notetaking☆44Updated 4 years ago
- Catalogue of portals that maps out roadmap for self learners☆78Updated last year
- Javascript interpreters featuring web workers☆37Updated 8 years ago
- in-progress 🚧 explosional 💥 editor☆16Updated 2 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- set of utilities helping me build and navigate my personal flat-file markdown wiki☆16Updated 4 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆39Updated 6 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆26Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆30Updated this week
- Connect the things you already know in your browser.☆72Updated last year
- repository to work on future of coding weekly newsletter☆32Updated this week
- A list of human-centered software engineering dissertations.☆48Updated last year
- A comprehensive graph of mathematical domains and topics☆20Updated 2 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- Smallish programs written to learn something.☆50Updated 9 months ago
- Catalogue of the hisotry of Mathematics☆33Updated 2 years ago
- A book surveying the literature on user interface software and technology.☆57Updated 9 months ago
- I got mad flow.☆85Updated 6 years ago
- ☆39Updated 10 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago