Alternatives and similar repositories for sketch-backend

Users that are interested in sketch-backend are comparing it to the libraries listed below

• asolarlez / sketch-frontend

  View on GitHub
  ☆39Jan 24, 2026Updated 3 weeks ago
• purdue-cap / DryadSynth

  View on GitHub
  A SyGuS Solver
  ☆29May 18, 2025Updated 8 months ago
• martinakaduc / xNeuSM

  View on GitHub
  Explainable Neural Subgraph Matching with Graph Learnable Multi-hop Attention Networks
  ☆14Sep 26, 2024Updated last year
• flxsosa / ProgramSearch

  View on GitHub
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆39May 21, 2020Updated 5 years ago
• lsrcz / grisette

  View on GitHub
  A monadic library for symbolic evaluation
  ☆73Jul 16, 2025Updated 6 months ago
• soarsmu / AutoPruner

  View on GitHub
  AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)
  ☆22Dec 7, 2023Updated 2 years ago
• SyGuS-Org / benchmarks

  View on GitHub
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Mar 30, 2023Updated 2 years ago
• IBM / vsrl-framework

  View on GitHub
  The Verifiably Safe Reinforcement Learning Framework
  ☆57Jul 22, 2021Updated 4 years ago
• yihozhang / most-influential-pl-papers

  View on GitHub
  Most influential papers in programming languages
  ☆58Jan 20, 2025Updated last year
• klee-mens / LaserCAD

  View on GitHub
  LaserCAD invokes 3D output of optical setups from code similar as LATEX creates documents.
  ☆12Jan 7, 2026Updated last month
• squest / zenx-integrated-learning

  View on GitHub
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Oct 16, 2015Updated 10 years ago
• math-comp / Coq-Combi

  View on GitHub
  Algebraic Combinatorics in Coq
  ☆39Jan 25, 2026Updated 3 weeks ago
• tianyicui / pfds-ocaml

  View on GitHub
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Nov 10, 2012Updated 13 years ago
• wpserved / astratic-blocks

  View on GitHub
  Simple plugin enabling custom blocks and patterns to the Gutenberg editor. This plugin is preferred by the Astratic Theme.
  ☆20Oct 20, 2023Updated 2 years ago
• jkirkby3 / BsplineDensity

  View on GitHub
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆15Aug 22, 2021Updated 4 years ago
• pattysi / ChatGPT-APIkeyfree

  View on GitHub
  Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。
  ☆13Aug 28, 2024Updated last year
• IBM / FormalML

  View on GitHub
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Oct 26, 2025Updated 3 months ago
• princeton-vl / FormulaNet

  View on GitHub
  Code for FormulaNet in NIPS 2017
  ☆30Apr 10, 2018Updated 7 years ago
• foreverbell / verified

  View on GitHub
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆47May 13, 2018Updated 7 years ago
• Stanford-Blockchain-Club / treehouse-sdk

  View on GitHub
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Feb 14, 2025Updated last year
• jegi / Beijing-exercises

  View on GitHub
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Oct 13, 2023Updated 2 years ago
• vahidzee / dypy

  View on GitHub
  Toolkit for Dynamic Python code manipulations
  ☆11Oct 19, 2024Updated last year
• NHERI-SimCenter / SimCenterBootcamp2022

  View on GitHub
  ☆13Jul 22, 2022Updated 3 years ago
• Cspeisman / chatgpt-intellij-plugin

  View on GitHub
  ☆32Mar 14, 2023Updated 2 years ago
• bzhan / auto2

  View on GitHub
  A best-first-search theorem prover implemented in Isabelle
  ☆36Jul 18, 2022Updated 3 years ago
• ChuyueSun / Clover

  View on GitHub
  Clover: Closed-Loop Verifiable Code Generation
  ☆42May 12, 2025Updated 9 months ago
• angelolamonaca / PyTorch-Precision-Converter

  View on GitHub
  A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …
  ☆11Aug 24, 2023Updated 2 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• radiasoft / rshellweg

  View on GitHub
  RadiaSoft utilities for modeling linear accelerators, including the Hellweg code
  ☆10Nov 29, 2025Updated 2 months ago
• angrave / CS341-Lectures-SP24

  View on GitHub
  CS341 for Spring 2024
  ☆11Jul 15, 2024Updated last year
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆10Jan 18, 2024Updated 2 years ago
• jar3m / c_data_structures

  View on GitHub
  A generic data structures and algorithms library using C
  ☆12Nov 13, 2022Updated 3 years ago
• Fluidize-Inc / fluidize-python

  View on GitHub
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆32Aug 22, 2025Updated 5 months ago
• platsch / Slic3r

  View on GitHub
  G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)
  ☆12Oct 21, 2021Updated 4 years ago
• vijay03 / cs380d-f23

  View on GitHub
  CS 380D Distributed Systems at UT Austin with Vijay Chidambaram
  ☆12Oct 19, 2023Updated 2 years ago
• ishiura-compiler / Orange3

  View on GitHub
  pre-release.
  ☆12Jul 15, 2015Updated 10 years ago
• andriusvelykis / isabelle-scala

  View on GitHub
  A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…
  ☆15Jul 10, 2014Updated 11 years ago
• keithjlee / Asap.jl

  View on GitHub
  Another structural analysis package
  ☆12Jun 3, 2025Updated 8 months ago
• gramaziokohler / integral_timber_joints

  View on GitHub
  Robotic Assembled Timber Structures with Integral Timber Joints
  ☆11Oct 15, 2023Updated 2 years ago