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 book to support the INFO 200 Intellectual Foundations of Information course.☆139Updated last year
- A short book on cooperative aspects of software engineering.☆61Updated 3 months ago
- Contractual Semver☆26Updated 3 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 months ago
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- Proposed documentation for alloytools.org☆70Updated 6 months ago
- Domain Specific Languages for Computational Law☆75Updated 3 months ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- website for CMU 17-313☆45Updated this week
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 3 weeks ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Navigate your code in an infinite timeline of code patches!☆163Updated last year
- Software Papers as Software Modules: Towards a Culture of Reusable Results☆20Updated 6 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆27Updated 4 months ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 10 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Render diagrams to Braille☆29Updated last month
- Resources for the Neontribe employees code reading club☆81Updated 4 years ago
- Summaries of academic papers☆20Updated 6 years ago
- A typed, polyglot, functional language☆196Updated this week
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A light-weight, extendable, high level, universal code parser built on top of tree-sitter☆127Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- Time management system for autodidacts.☆15Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago