Alternatives and similar repositories for IncPy:

Users that are interested in IncPy are comparing it to the libraries listed below

• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 10 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 3 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆31Updated 4 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• HewlettPackard / LSGI
  Large-Scale Graph Inference
  ☆12Updated 4 months ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆18Updated 2 weeks ago
• bdusell / stack-attention
  Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"
  ☆17Updated 11 months ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 10 months ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆37Updated 10 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆49Updated 2 years ago
• seanbaxter / apex
  tokenizer and parser for circle projects
  ☆11Updated 5 years ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• miskcoo / kscore
  Nonparametric Score Estimators, ICML 2020
  ☆36Updated 3 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago