metaborg / spoofax-pie

Related projects ⓘ

Alternatives and complementary repositories for spoofax-pie

• tuProlog / 2p-kt
  A Kotlin Multi-Platform ecosystem for symbolic AI
  ☆95Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆130Updated 3 months ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆30Updated last month
• xtclang / xvm
  Ecstasy and XVM
  ☆200Updated this week
• graalvm / simplelanguage
  A simple example language built using the Truffle API.
  ☆613Updated 5 months ago
• GrammaTech / sel
  Programmatic modification and evaluation of software
  ☆168Updated last month
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆21Updated this week
• dylibso / chicory
  Native JVM WebAssembly runtime
  ☆531Updated this week
• dhakehurst / net.akehurst.language
  Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)
  ☆47Updated this week
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆285Updated 2 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆55Updated 2 weeks ago
• skinny85 / graalvm-truffle-tutorial
  The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework
  ☆39Updated this week
• RCHowell / Dotlin
  Kotlin Graphviz DOT DSL
  ☆27Updated last year
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆34Updated last week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆52Updated last month
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated last year
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆104Updated 10 months ago
• serenadeai / java-tree-sitter
  Java bindings for tree-sitter
  ☆126Updated 11 months ago
• CampagneLaboratory / ANTLR_MPS
  An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.
  ☆25Updated 7 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
• demiurg906 / test-data-helper-plugin
  ☆20Updated 3 weeks ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆111Updated last month
• JetBrains / jsitter
  tree-sitter API for JVM
  ☆65Updated last year
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆187Updated this week
• JetBrains / Grammar-Kit
  Grammar files support & parser/PSI generation for IntelliJ IDEA
  ☆724Updated last week
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆24Updated last year
• Strumenta / antlr-kotlin
  Support for Kotlin as a target for ANTLR 4
  ☆229Updated 2 months ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated last year