metaborg / spoofax

Related projects: ⓘ

• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 5 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆217Updated last year
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆47Updated 7 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated 2 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆72Updated last year
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆400Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆78Updated last week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆89Updated 3 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆55Updated this week
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• Strumenta / MPSServer
  ☆18Updated 9 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆60Updated this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆123Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆149Updated 2 weeks ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆254Updated 2 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆108Updated 9 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆47Updated 4 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆78Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆59Updated 2 months ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆22Updated 8 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆82Updated last week
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 4 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆157Updated last month
• unison-code / unison
  Unison's source code
  ☆101Updated 6 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆62Updated 10 months ago
• rems-project / lem
  Lem semantic definition language
  ☆129Updated 6 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆66Updated last year
• JetBrains / arend-lib
  ☆80Updated this week