smucclaw / dsl

Related projects: ⓘ

• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆31Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆61Updated 3 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 3 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆78Updated last year
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆121Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆87Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆64Updated 7 years ago
• mthom / scryer-shen
  ☆37Updated last month
• JonathanMEdwards / subtext10
  ☆96Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 4 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆40Updated 5 months ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆25Updated last month
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆97Updated last month
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆73Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆77Updated 11 months ago
• stchang / macrotypes
  ☆133Updated 2 years ago
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆59Updated last month
• guregu / trealla-js
  Trealla Prolog for the web
  ☆38Updated last week
• f5devcentral / shapeRank
  ☆45Updated 2 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆45Updated 3 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆74Updated 2 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago