goto40 / self-dsl

Related projects ⓘ

Alternatives and complementary repositories for self-dsl

• diverse-project / melange
  The Melange Language Workbench
  ☆28Updated last year
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆29Updated 5 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆46Updated 4 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• Strumenta / MPSServer
  ☆19Updated 11 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated 3 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 5 months ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆21Updated 2 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆68Updated 7 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆58Updated last year
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 3 years ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆13Updated last year
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 3 weeks ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆272Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆136Updated 2 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆67Updated this week
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated last month
• ejgallego / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated last week
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 3 weeks ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆86Updated last week
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 2 months ago
• vscosta / yap
  ☆47Updated last week
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated this week