robsimmons / dusa

Related projects ⓘ

Alternatives and complementary repositories for dusa

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 2 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆80Updated last year
• engraftdev / engraft
  ☆35Updated 3 months ago
• jkoppel / ecta
  ☆33Updated 7 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• prologbyexample / code
  ☆27Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 2 years ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆55Updated last week
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆75Updated 3 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆42Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆23Updated 5 months ago
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆24Updated 7 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated 3 weeks ago
• vmchale / apple
  Apple array system
  ☆54Updated this week
• domoritz / clingo-wasm
  Clingo on the web
  ☆33Updated this week
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆13Updated 11 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆22Updated this week