Alternatives and similar repositories for Scythe

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

• fredfeng / Trinity

  View on GitHub
  ☆25Apr 18, 2025Updated 9 months ago
• codefeedr / codefeedr

  View on GitHub
  CodeFeedr core infrastructure
  ☆10Nov 10, 2020Updated 5 years ago
• squares-sql / SQUARES

  View on GitHub
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Aug 11, 2020Updated 5 years ago
• phenan / scalalr

  View on GitHub
  ScaLALR : LALR parser generator for embedded DSLs in Scala
  ☆13Feb 20, 2018Updated 7 years ago
• farkhor / WS-VR

  View on GitHub
  A CUDA-based multi-GPU vertex-centric graph processing framework based on Warp Segmentation and Vertex Refinement techniques.
  ☆12Mar 20, 2017Updated 8 years ago
• rishabhs / sygus-comp14

  View on GitHub
  ☆40Apr 17, 2019Updated 6 years ago
• aoiroaoino / guttural

  View on GitHub
  Web Framework for Scala.（PoC）
  ☆14Oct 6, 2022Updated 3 years ago
• vagmcs / ScalaTIKZ

  View on GitHub
  ScalaTIKZ is an open-source library for PGF/TIKZ vector graphics.
  ☆22Feb 1, 2026Updated 2 weeks ago
• petablox / popl2020-artifact

  View on GitHub
  Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
  ☆19Jul 9, 2020Updated 5 years ago
• lolgab / cosmopolitan-scalajs-example

  View on GitHub
  Universal Scala.js executable
  ☆22Aug 21, 2022Updated 3 years ago
• uwplse / Casper

  View on GitHub
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆51Jun 15, 2023Updated 2 years ago
• kensens / FrAngel

  View on GitHub
  A Java program synthesizer.
  ☆22Mar 28, 2019Updated 6 years ago
• scalameta / metals-gitpod-sample

  View on GitHub
  ☆22Updated this week
• saswatanand / acteve

  View on GitHub
  Dynamic Symbolic Execution of Android Apps
  ☆23Jan 16, 2016Updated 10 years ago
• GaloisInc / LinearArbitrary-SeaHorn

  View on GitHub
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Mar 13, 2023Updated 2 years ago
• SyGuS-Org / tools

  View on GitHub
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Sep 7, 2023Updated 2 years ago
• wslee / euphony

  View on GitHub
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Nov 21, 2022Updated 3 years ago
• utopia-group / regel

  View on GitHub
  REGEL: Regular Expression Generation from Examples and Language
  ☆34Jul 11, 2022Updated 3 years ago
• rorygraves / scalac_perf

  View on GitHub
  The Scala programming language
  ☆16Mar 31, 2023Updated 2 years ago
• todokr / sbt-project-switcher

  View on GitHub
  A sbt plugin to switch project in a snappy way⚡️
  ☆36Nov 23, 2020Updated 5 years ago
• geraudnt / boolean_composition

  View on GitHub
  Code for the paper "A Boolean Task Algebra For Reinforcement Learning"
  ☆11Dec 8, 2022Updated 3 years ago
• lishuhuakai / Regular-Expression

  View on GitHub
  一个简易的正则表达式引擎!
  ☆10Apr 9, 2017Updated 8 years ago
• clustertech / cpfs-os

  View on GitHub
  ClusterTech Parallel Filesystem
  ☆12May 18, 2018Updated 7 years ago
• choppedcode / vscode-tasks-and-contexts

  View on GitHub
  Visual Studio Code Tasks and Contexts extension
  ☆11Apr 12, 2024Updated last year
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• kevin-lee / refined4s

  View on GitHub
  newtype and refinement (refined) type for Scala 3
  ☆14Feb 7, 2026Updated last week
• onokonem / rtbkit-docker

  View on GitHub
  ☆11Jun 14, 2015Updated 10 years ago
• coursier / sbt-coursier

  View on GitHub
  coursier sbt API and legacy sbt plugins
  ☆42Updated this week
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 2018Updated 7 years ago
• uwdb / DeepEverest

  View on GitHub
  DeepEverest: a system for efficient DNN interpretation.
  ☆13Jan 22, 2024Updated 2 years ago
• dslab-epfl / chef-symbex-python

  View on GitHub
  A modded Python interpreter that supports symbolic execution.
  ☆11Aug 23, 2015Updated 10 years ago
• mihailgmihaylov / ghost-on-kubernetes

  View on GitHub
  Build Ghost personal Blog on Kubernetes Google Cloud cluster with MySQL backend database, Nginx web server and LetsEncrypt SSL certificat…
  ☆13May 29, 2017Updated 8 years ago
• regb / scalavator

  View on GitHub
  The unofficial Scala game
  ☆11Oct 26, 2020Updated 5 years ago
• BranislavLazic / aws-zio-s3

  View on GitHub
  ZIO wrapper for AWS S3 SDK async client
  ☆11Feb 21, 2020Updated 5 years ago
• vtsukur / graphql-kotlin-online-store

  View on GitHub
  Sample Kotlin project that accompanies "GraphQL in Kotlin - APIs The New Way" tech talk
  ☆11Sep 30, 2018Updated 7 years ago
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆13May 5, 2018Updated 7 years ago
• tarao / lambda-scala3

  View on GitHub
  Type-level lambda calculus in Scala 3
  ☆13Oct 11, 2022Updated 3 years ago
• monix / monix-forkjoin

  View on GitHub
  A port of the ForkJoinPool JSR-166 implementation used in Scala 2.11.x for usage in Scala 2.12
  ☆11Dec 30, 2016Updated 9 years ago
• SoilRos / cpu-latency

  View on GitHub
  Measure the time to send/receive a CAS message to every other CPU core
  ☆22Oct 27, 2025Updated 3 months ago