AZHenley / hcse-dissertationsLinks
A list of human-centered software engineering dissertations.
☆48Updated 2 years ago
Alternatives and similar repositories for hcse-dissertations
Users that are interested in hcse-dissertations are comparing it to the libraries listed below
Sorting:
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated last month
- My reading list☆84Updated 3 years ago
- Catalogue of portals that maps out roadmap for self learners☆83Updated 2 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated last month
- A catalog of code worth reading☆113Updated 8 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 6 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆30Updated 3 years ago
- Contractual Semver☆28Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- A typed, polyglot, functional language☆205Updated this week
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Repo to track the evolution of notation in arts and sciences☆146Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 7 months ago
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Art of Prolog Code☆36Updated 6 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆141Updated last year
- epsilon is a scanner generator☆28Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- List of future of programming projects☆370Updated last year
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- ☆104Updated 3 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated last month
- interactive programming tutorials, powered by Github and Docker☆143Updated 5 months ago