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 7 months ago
- Catalogue of portals that maps out roadmap for self learners☆81Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- My reading list☆84Updated 3 years ago
- Time management system for autodidacts.☆15Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- A typed, polyglot, functional language☆204Updated this week
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated this week
- document organizer with tags and full-text-search, in a simple and clean sqlite3 schema☆167Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- epsilon is a scanner generator☆28Updated 3 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- ☆103Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Contractual Semver☆27Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Navigate your code in an infinite timeline of code patches!☆164Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆140Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- List of future of programming projects☆368Updated last year