Repositories list

• VeriSoftBench

  Public
  Benchmarking LLMs on Real-World Software Verification in Lean 4

  Python

  •

  MIT License

  •22 forks•77 stars•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• Performance-contract

  Public
  OCaml

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• zequal

  Public
  Rust

  •

  GNU General Public License v3.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 8, 2026Jan 8, 2026

• ink

  Public
  Code Repository for 'Homomorphism Calculus for User-Defined Aggregations'

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 20, 2025Aug 20, 2025

• Coeus

  Public
  Relational Verification using Reinforcement Learning (Verifier Source Code)

  OCaml

  •

  Apache License 2.0

  •22 forks•44 stars•00 issues•11 pull request•Updated Apr 23, 2024Apr 23, 2024

• Opera

  Public
  Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743

  Python

  •

  MIT License

  •00 forks•77 stars•00 issues•00 pull requests•Updated Apr 12, 2024Apr 12, 2024

• Smore

  Public
  Code repository for 'Data Extraction via Semantic Regular Expression Synthesis'

  Python

  •

  MIT License

  •33 forks•77 stars•00 issues•11 pull request•Updated Jul 14, 2023Jul 14, 2023

• TypeT5

  Public
  Seq2seq Type Inference using Static Analysis and CodeT5

  pythontype-inferencegradual-typing+ 1

  pythontype-inferencegradual-typingtransformer-architecture

  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •77 forks•3232 stars•00 issues•00 pull requests•Updated Jul 9, 2023Jul 9, 2023

• graphy

  Public
  Code repository for 'Type-Directed Synthesis of Visualizations from Natural Language Queries'

  Jupyter Notebook

  •

  MIT License

  •11 fork•55 stars•00 issues•00 pull requests•Updated Aug 12, 2022Aug 12, 2022

• regel

  Public
  REGEL: Regular Expression Generation from Examples and Language

  Java

  •

  MIT License

  •99 forks•3636 stars•44 issues•00 pull requests•Updated Jul 11, 2022Jul 11, 2022

• WebQA

  Public
  Code repository for 'Web Question Answering with Neurosymbolic Program Synthesis'

  Python

  •

  MIT License

  •22 forks•88 stars•00 issues•00 pull requests•Updated Jul 11, 2022Jul 11, 2022

• cortado

  Public
  Cortado implementation and Benchmarks from our 2022 OOPSLA paper

  Java

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Mar 24, 2022Mar 24, 2022

• verisol

  Public
  A formal verifier and analysis tool for Solidity Smart Contracts

  C#

  •

  Other

  •4444 forks•11 star•00 issues•00 pull requests•Updated Feb 4, 2022Feb 4, 2022

• legion

  Public
  The Legion Parallel Programming System

  C++

  •

  Apache License 2.0

  •151151 forks•00 stars•00 issues•00 pull requests•Updated Jan 31, 2022Jan 31, 2022

• CFPChecker

  Public
  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 8, 2021Aug 8, 2021

• SmartPulseTool

  Public
  C

  •99 forks•99 stars•22 issues•00 pull requests•Updated Jul 2, 2021Jul 2, 2021

• relish

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 4, 2020Dec 4, 2020

• dynamite

  Public
  Java

  •22 forks•11 star•00 issues•00 pull requests•Updated Sep 19, 2020Sep 19, 2020

• LoopAnalysis

  Public
  scratchy scripts on Solidity loop analysis

  Jupyter Notebook

  •22 forks•00 stars•00 issues•00 pull requests•Updated Aug 28, 2020Aug 28, 2020

• mediator

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 16, 2020Jul 16, 2020

• cfp-checker-bench-slicer

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2020Jun 23, 2020

• solidity

  Public
  Solidity, the Contract-Oriented Programming Language

  C++

  •

  GNU General Public License v3.0

  •6.1k6.1k forks•00 stars•00 issues•00 pull requests•Updated Jan 27, 2020Jan 27, 2020

• scuba

  Public
  Bottom-up summary-based pointer analysis for Java

  Java

  •11 fork•22 stars•00 issues•00 pull requests•Updated Nov 11, 2019Nov 11, 2019

• ReCoeus

  Public
  Relational Verification using Reinforcement Learning (Learning Source Code)

  Python

  •

  Apache License 2.0

  •22 forks•55 stars•00 issues•00 pull requests•Updated Oct 6, 2019Oct 6, 2019

• migrator

  Public
  Java

  •11 fork•44 stars•00 issues•00 pull requests•Updated Sep 8, 2019Sep 8, 2019

• neo

  Public
  Java

  •77 forks•55 stars•00 issues•00 pull requests•Updated Jul 11, 2019Jul 11, 2019

• Reading-Group

  Public
  00 forks•00 stars•1212 issues•00 pull requests•Updated Apr 8, 2019Apr 8, 2019

• utopia-group.github.io

  Public
  CSS

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2018Jun 18, 2018

• sypet

  Public
  SyPet: Component-Based Synthesis for Complex APIs

  Java

  •

  Other

  •66 forks•2121 stars•00 issues•00 pull requests•Updated May 24, 2018May 24, 2018

• apposcopy

  Public
  Java

  •1212 forks•1818 stars•11 issue•11 pull request•Updated Apr 27, 2018Apr 27, 2018