JetBrains-Research / CFPQ-on-GPGPU

Related projects ⓘ

Alternatives and complementary repositories for CFPQ-on-GPGPU

• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 2 months ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆10Updated 2 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 4 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated this week
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆14Updated 2 years ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 8 years ago
• JetBrains-Research / DeepBugsPlugin
  Deep learning-based bug detector for IntelliJ
  ☆6Updated 4 years ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 6 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 8 months ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆11Updated this week
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 4 months ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free and weakly context-sensitive languages.
  ☆21Updated 3 weeks ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• riswords / quiche
  ☆22Updated last year
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• google / pyctr
  ☆21Updated 5 years ago