a Java front-end for Sketch synthesis tool
☆20Jan 20, 2025Updated last year
Alternatives and similar repositories for java-sketch
Users that are interested in java-sketch are comparing it to the libraries listed below
Sorting:
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- ☆40Apr 17, 2019Updated 6 years ago
- Shared Renovate configuration for M365 projects☆12Feb 19, 2026Updated last week
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- ☆10May 10, 2016Updated 9 years ago
- Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.☆14Apr 18, 2019Updated 6 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Automatic differentiation for NumPy☆42Jun 14, 2013Updated 12 years ago
- A simple Binary Decision Diagram library in Java☆15Jul 15, 2018Updated 7 years ago
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆13Apr 17, 2021Updated 4 years ago
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆27Apr 7, 2015Updated 10 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Oct 17, 2019Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- Object Algebra Composition☆24Jul 4, 2013Updated 12 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago
- Koin3D, a java port of Coin3D with LWJGL☆18Oct 25, 2023Updated 2 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Feb 27, 2021Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- ☆17May 31, 2024Updated last year
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆23Mar 22, 2024Updated last year
- Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)☆20Oct 24, 2020Updated 5 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- A Java program synthesizer.☆22Mar 28, 2019Updated 6 years ago
- ☆20Sep 28, 2018Updated 7 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago