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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 22, 2021Updated 4 years ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 9 years ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- literate programming meets unison☆39Updated this week
- a web-based development environment for constructing parsers by example (backend code)☆17Jul 17, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- SIGPLAN website☆13Updated this week
- screenshot-driven version tracking☆26Jun 1, 2022Updated 4 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- Shazam for food.☆15Dec 31, 2016Updated 9 years ago
- Information about the CodedotAI reading group sessions.☆12Aug 16, 2021Updated 4 years ago
- MetroMaps Release☆16May 8, 2014Updated 12 years ago
- Mechanical Mooc☆47Jun 21, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆14Aug 11, 2025Updated 9 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Feb 28, 2024Updated 2 years ago
- Software Engineering for AI/ML -- An Annotated Bibliography☆334Jul 16, 2024Updated last year
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- Carnatic Music Notation rendering engine☆14Nov 24, 2013Updated 12 years ago
- A handbook of best practices and case studies for modern collaborative journalism☆13Sep 16, 2017Updated 8 years ago
- ☆15Nov 9, 2020Updated 5 years ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆29Apr 14, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GetShorty is an open-source link shortener written in Elixir and Phoenix.☆10Dec 16, 2021Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- A fast and portable lisp implemented in forth☆28Jul 13, 2021Updated 4 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- Statistical analysis methods for comparing prompt and model performance in LLM evaluations.☆104May 13, 2026Updated 3 weeks ago
- Search and replace in HTML5 strings.☆12Nov 21, 2023Updated 2 years ago
- LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV☆15May 27, 2026Updated last week
- A grunt task which takes a html file, finds all the css, js links and images, and outputs a version with all the css, js and images (Base…☆12Jan 23, 2025Updated last year
- Sample JavaFX WebView application for full featured debugging with Chrome Dev Tools☆14Jan 4, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Inductive programming in JavaScript☆25May 31, 2016Updated 10 years ago
- A collection LaTeX templates compatible with curvenote.com☆16Sep 15, 2022Updated 3 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆20May 18, 2026Updated 3 weeks ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆22Oct 13, 2022Updated 3 years ago
- ☆10Jun 17, 2017Updated 8 years ago
- ☆13Aug 22, 2018Updated 7 years ago
- macro spaghetti code☆30Apr 18, 2023Updated 3 years ago