JetBrains-Research / CFPQ-on-GPGPU
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for CFPQ-on-GPGPU
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 2 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 4 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated 2 weeks ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Updated 3 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆73Updated this week
- 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
- Automatic Differentiation for Tensor Algebras☆28Updated 6 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- 🔍 Code Search Tools & Experiments☆11Updated this week
- ☆3Updated 2 weeks ago
- Shaking expression trees until something tasty pops out☆16Updated 6 years ago
- Python term rewriting☆27Updated 11 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- Formalization of some elementary mathematical theories in Coq☆14Updated 4 years ago
- Object Algebra Composition☆24Updated 11 years ago
- The implementation of the Elevate language☆29Updated 3 weeks ago