A list of human-centered software engineering dissertations.
☆48Dec 22, 2022Updated 3 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:
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- ☆12Oct 22, 2021Updated 4 years ago
- The Linda process coordination language written in Clojure.☆27Sep 18, 2015Updated 10 years ago
- ☆12Oct 14, 2021Updated 4 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 8 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- egraphs-good website☆18Oct 9, 2024Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- Neural network poetry rewriter☆21Feb 4, 2022Updated 4 years ago
- A CLI tool to fetch and display unresolved GitHub PR comments☆13Feb 28, 2025Updated last year
- screenshot-driven version tracking☆25Jun 1, 2022Updated 3 years ago
- Inspect, Monitor & Control AES70 devices.☆23Mar 3, 2023Updated 3 years ago
- Convert Google Keep Dump to Roam Daily Notes Markdown Files.☆22Apr 4, 2021Updated 4 years ago
- macro spaghetti code☆30Apr 18, 2023Updated 2 years ago
- Dark Theme for Roam Research☆25Jan 28, 2022Updated 4 years ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 4 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Feb 28, 2026Updated last week
- The Behringer X32 Scene File of Saddleback Berlin Church's Production Team.☆12Apr 29, 2023Updated 2 years ago
- A VSCode plugin to support the Pharo Programming Language☆34Updated this week
- A Prototype Debugging Tool for MIT Scheme☆32Aug 6, 2019Updated 6 years ago
- ☆29Feb 26, 2021Updated 5 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- ☆11Updated this week
- A Racket library that lets you control Firefox via the Marionette Protocol.☆79May 29, 2025Updated 9 months ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 6 months ago
- Load data into wikibase☆10Nov 20, 2018Updated 7 years ago
- PACT Agent Collaboration Layer☆15Feb 26, 2026Updated last week
- ☆14Sep 21, 2022Updated 3 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- Offline voice-controlled music player for Raspberry Pi☆10May 27, 2024Updated last year
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 4 years ago