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 6 months ago
- A typed, polyglot, functional language☆204Updated this week
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Catalogue of portals that maps out roadmap for self learners☆81Updated 2 years ago
- My reading list☆84Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 4 months ago
- List of future of programming projects☆367Updated last year
- 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
- Bringing Prolog to the masses.☆36Updated 3 years ago
- a language for building system dynamic models☆167Updated 5 months ago
- Mystery Languages☆40Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- ☆101Updated 3 years ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- 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 tiny tile-based editor☆308Updated last week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- interactive programming tutorials, powered by Github and Docker☆144Updated 3 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated this week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A teaching aid library for formal languages and compiler courses☆12Updated 3 months ago
- Brzozowski derivative python sketch☆85Updated 5 months ago