AZHenley / hcse-dissertations

Related projects ⓘ

Alternatives and complementary repositories for hcse-dissertations

• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated this week
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆75Updated 8 years ago
• KasraF / SnipPy
  Meta-repository for SnipPy
  ☆15Updated 2 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆69Updated last month
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆26Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated last week
• amyjko / foundations-of-information
  A book to support the INFO 200 Intellectual Foundations of Information course.
  ☆138Updated 9 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• amyjko / cooperative-software-development
  A short book on cooperative aspects of software engineering.
  ☆59Updated last month
• CMU-313 / CMU-313.github.io
  website for CMU 17-313
  ☆45Updated this week
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆213Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆161Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• hellerve / ptolemy
  My reading list
  ☆81Updated 2 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆92Updated last year
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated 2 months ago
• JonathanMEdwards / subtext10
  ☆96Updated 2 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆80Updated last year
• CodeRibbon / CodeRibbon
  Navigate your code in an infinite timeline of code patches!
  ☆163Updated last year
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆331Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆35Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆127Updated 4 months ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆26Updated 6 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago