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
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Domain Specific Languages for Computational Law☆76Updated last month
- My reading list☆83Updated 3 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆140Updated last year
- List of future of programming projects☆367Updated last year
- Navigate your code in an infinite timeline of code patches!☆164Updated last year
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Time management system for autodidacts.☆15Updated 2 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 2 months ago
- Contractual Semver☆27Updated 3 years ago
- An online IDE for visual programming in Prolog☆245Updated last month
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 8 months ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 5 months ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- A typed, polyglot, functional language☆202Updated last week
- document organizer with tags and full-text-search, in a simple and clean sqlite3 schema☆167Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago