jeff5 / asdl-tools

Related projects ⓘ

Alternatives and complementary repositories for asdl-tools

• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated 3 months ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆13Updated last year
• reudismam / Refazer
  ☆10Updated 5 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 5 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆61Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 2 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated last week
• Strumenta / MPSServer
  ☆19Updated 11 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• TiarkRompf / reachability
  ☆38Updated this week
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆43Updated 4 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆22Updated this week
• wslee / duet
  ☆19Updated 7 months ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆81Updated this week
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆15Updated this week
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆38Updated 5 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆85Updated 3 years ago
• rohanmukh / nsg
  ☆20Updated 2 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 6 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆57Updated 7 years ago
• rhyme-lang / rhyme
  ☆19Updated this week
• PurduePL / purduepl.github.io
  A blog of Programming Languages Group @Purdue
  ☆10Updated last week
• daanx / effect-bench
  Benchmarking algebraic effect handler implementations
  ☆24Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆129Updated 3 months ago