Alternatives and similar repositories for hcse-dissertations

Users that are interested in hcse-dissertations are comparing it to the libraries listed below

• mikeevmm / boyl

  View on GitHub
  Quickly create boilerplate projects and templates.
  ☆13Jul 5, 2021Updated 4 years ago
• tianyi-zhang / interactive-program-synthesis

  View on GitHub
  ☆12Oct 22, 2021Updated 4 years ago
• jin-guo / COMP598_Fall2020

  View on GitHub
  ☆12Oct 14, 2021Updated 4 years ago
• camoy / corpse-reviver

  View on GitHub
  Sound and efficient gradual typing via contract verification.
  ☆20Aug 3, 2023Updated 2 years ago
• cdfa / frugel

  View on GitHub
  An error-tolerant live programming environment (my Master's thesis)
  ☆21Jul 25, 2022Updated 3 years ago
• aparrish / plot-to-poem

  View on GitHub
  "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.
  ☆21Apr 30, 2017Updated 8 years ago
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 2 years ago
• egraphs-good / egraphs-good.github.io

  View on GitHub
  egraphs-good website
  ☆18Oct 9, 2024Updated last year
• poloclub / FairVis

  View on GitHub
  FairVis: Visual Analytics for Discovering Intersectional Bias in Machine Learning
  ☆39Apr 23, 2024Updated last year
• parsimony-ide / parsimony

  View on GitHub
  a web-based development environment for constructing parsers by example (backend code)
  ☆17Jul 17, 2017Updated 8 years ago
• jeffbinder / visions-and-revisions

  View on GitHub
  Neural network poetry rewriter
  ☆21Feb 4, 2022Updated 4 years ago
• pragmatic-ai-org / pr-comments-cli

  View on GitHub
  A CLI tool to fetch and display unresolved GitHub PR comments
  ☆13Feb 28, 2025Updated 11 months ago
• krisrs1128 / Humanitarian-AI

  View on GitHub
  Weekly humanitarian AI reading group at Mila.
  ☆21Mar 20, 2019Updated 6 years ago
• adithyabsk / keep2roam

  View on GitHub
  Convert Google Keep Dump to Roam Daily Notes Markdown Files.
  ☆22Apr 4, 2021Updated 4 years ago
• caminadab / metamine

  View on GitHub
  A new declarative programming language
  ☆24Oct 12, 2020Updated 5 years ago
• ianthehenry / macaroni

  View on GitHub
  macro spaghetti code
  ☆30Apr 18, 2023Updated 2 years ago
• shodty / Roam_Dark_Age

  View on GitHub
  Dark Theme for Roam Research
  ☆25Jan 28, 2022Updated 4 years ago
• philnguyen / soft-contract

  View on GitHub
  A prototype of soft contract verification for an untyped functional language
  ☆35Apr 7, 2021Updated 4 years ago
• wavesaudio / instl

  View on GitHub
  Installer builder using SVN back-end database and S3 storage
  ☆10Jan 26, 2026Updated 3 weeks ago
• Living-with-machines / dhoxss-text2tech

  View on GitHub
  Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School
  ☆16Aug 8, 2025Updated 6 months ago
• badetitou / vscode-pharo

  View on GitHub
  A VSCode plugin to support the Pharo Programming Language
  ☆33Sep 26, 2025Updated 4 months ago
• wslee / euphony

  View on GitHub
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Nov 21, 2022Updated 3 years ago
• gregfjohnson / aplette

  View on GitHub
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆88Apr 16, 2023Updated 2 years ago
• stchang / macrotypes

  View on GitHub
  ☆138Jun 2, 2022Updated 3 years ago
• kennethshawfriedman / Toski

  View on GitHub
  A Prototype Debugging Tool for MIT Scheme
  ☆32Aug 6, 2019Updated 6 years ago
• ptarau / TypesAndProofs

  View on GitHub
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Feb 2, 2026Updated 2 weeks ago
• gustavoasoares / refazer

  View on GitHub
  Refazer: Learning Program Transformations from Examples
  ☆30Mar 25, 2018Updated 7 years ago
• ekjaisal / LitSift

  View on GitHub
  LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV
  ☆14Jan 24, 2026Updated 3 weeks ago
• alex-shpak / gitname

  View on GitHub
  Automatically set git config properties in local repository based on remote URL
  ☆15Oct 25, 2021Updated 4 years ago
• bitfocus / companion-module-shure-wireless

  View on GitHub
  ☆11Jan 29, 2026Updated 2 weeks ago
• Bogdanp / marionette

  View on GitHub
  A Racket library that lets you control Firefox via the Marionette Protocol.
  ☆79May 29, 2025Updated 8 months ago
• ralsei / graphite

  View on GitHub
  A data visualization library for Racket.
  ☆38Nov 12, 2024Updated last year
• financial-astrology-research / trading-signal-processing

  View on GitHub
  Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …
  ☆10May 9, 2021Updated 4 years ago
• sparanoid / grunt-assets-inline

  View on GitHub
  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
• ChuanMeng / RLT4Reranking

  View on GitHub
  ☆12Nov 22, 2024Updated last year
• EthereansOS / Covenants-Core

  View on GitHub
  🧙‍♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…
  ☆11Apr 24, 2024Updated last year
• ANSSI-FR / ProTIP

  View on GitHub
  ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express
  ☆10Nov 9, 2023Updated 2 years ago
• lukifer / voicetunes

  View on GitHub
  Offline voice-controlled music player for Raspberry Pi
  ☆10May 27, 2024Updated last year
• Ethereum-Max / EMAX-Contracts

  View on GitHub
  Contracts for the EMAX token on Ethereum Mainnet
  ☆20Feb 24, 2022Updated 3 years ago