Alternatives and similar repositories for IncPy:

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

• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆19Updated 8 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated 2 weeks ago
• vitalab / neuralteleportation
  Isomorphisms of quiver representations applied to neural networks.
  ☆16Updated 9 months ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• kedlaya / tetrahedra
  ☆35Updated 3 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• wzh99 / IRL
  Simple intermediate representation language for learning and research.
  ☆19Updated 5 years ago
• openreview / openreview
  The most recent documentation of OpenReview
  ☆19Updated this week
• spcl / CheckEmbed
  Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
  ☆19Updated this week
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 7 months ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• SMAT-Lab / SnifferDog
  Restoring Execution Environments of Jupyter Notebooks
  ☆22Updated last year
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• NVIDIA / free-threaded-python
  No-GIL Python environment featuring NVIDIA Deep Learning libraries.
  ☆59Updated 3 weeks ago
• conceptofmind / t5-pytorch
  Implementation of Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer in PyTorch.
  ☆51Updated last year
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• IPRC-DIP / ANPL
  ☆21Updated last year
• rbavishi / autopandas
  OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
  ☆31Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆38Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago