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 4 years ago
- A short book on cooperative aspects of software engineering.☆62Updated 4 months ago
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆139Updated last year
- Navigate your code in an infinite timeline of code patches!☆164Updated last year
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- Contractual Semver☆27Updated 3 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- My reading list☆83Updated 3 years ago
- rslt, take five-ish☆149Updated 4 years ago
- Domain Specific Languages for Computational Law☆76Updated 4 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 3 months ago
- Proposed documentation for alloytools.org☆70Updated 7 months ago
- ☆100Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- A typed, polyglot, functional language☆196Updated 3 weeks ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- List of future of programming projects☆364Updated last year
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- A fluid medium for storing, relating, and surfacing thoughts.☆134Updated 3 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated last month
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆29Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago