AZHenley / hcse-dissertations
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
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- A short book on cooperative aspects of software engineering.☆59Updated 2 weeks ago
- Contractual Semver☆25Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last week
- Hyperlinked notebooks☆147Updated 2 years ago
- Navigate your code in an infinite timeline of code patches!☆163Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated this week
- Domain Specific Languages for Computational Law☆71Updated 3 months ago
- Meta-repository for SnipPy☆15Updated 3 years ago
- Catalogue of portals that maps out roadmap for self learners☆78Updated 2 years ago
- Proposed documentation for alloytools.org☆69Updated 2 months ago
- formal tools for BPMN☆35Updated 9 months ago
- Logic Programming in Python☆30Updated 3 years ago
- a language for building system dynamic models☆166Updated 6 months ago
- The online book Critically Conscious Computing: Methods for Secondary Education☆47Updated 4 months ago
- ☆36Updated 4 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆215Updated 2 years ago
- Github repo to Neo4j (and back)☆19Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆26Updated 8 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- Python interpreter for TLA+ specifications☆113Updated 7 months ago
- CS Graduate Job Guide☆33Updated 2 months ago
- Leibniz - a Digital Scientific Notation☆33Updated last week
- Program Synthesis Course☆248Updated 10 months ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- A graphical interactive proof assistant designed for education☆165Updated last month