Giters
utopia-group

utopia-group

Geek Repo

Github PK Tool:Github PK Tool

utopia-group's repositories

regel

REGEL: Regular Expression Generation from Examples and Language

Language:JavaLicense:MITStargazers:33Issues:9Issues:9

TypeT5

Seq2seq Type Inference using Static Analysis and CodeT5

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:27Issues:2Issues:0

sypet

SyPet: Component-Based Synthesis for Complex APIs

Language:JavaLicense:NOASSERTIONStargazers:20Issues:5Issues:3

apposcopy

Language:JavaStargazers:17Issues:0Issues:0

SmartPulseTool

Language:CStargazers:9Issues:5Issues:4

WebQA

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

Language:PythonLicense:MITStargazers:7Issues:5Issues:0

graphy

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

Language:Jupyter NotebookLicense:MITStargazers:5Issues:5Issues:0

neo

Language:JavaStargazers:5Issues:4Issues:0

Smore

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

Language:PythonLicense:MITStargazers:5Issues:3Issues:0

ReCoeus

Relational Verification using Reinforcement Learning (Learning Source Code)

Language:PythonLicense:Apache-2.0Stargazers:4Issues:0Issues:0

Coeus

Relational Verification using Reinforcement Learning (Verifier Source Code)

Language:OCamlLicense:Apache-2.0Stargazers:3Issues:5Issues:0

migrator

Language:JavaStargazers:3Issues:5Issues:0

scuba

Bottom-up summary-based pointer analysis for Java

Language:JavaStargazers:2Issues:5Issues:0

cortado

Cortado implementation and Benchmarks from our 2022 OOPSLA paper

Language:JavaLicense:MITStargazers:1Issues:3Issues:0

dynamite

Language:JavaStargazers:1Issues:0Issues:0

relish

Language:JavaStargazers:1Issues:5Issues:0

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Language:C#License:NOASSERTIONStargazers:1Issues:1Issues:0

mediator

Language:JavaStargazers:0Issues:0Issues:0

cfp-checker-bench-slicer

Language:JavaStargazers:0Issues:0Issues:0

CFPChecker

Language:JavaStargazers:0Issues:0Issues:0

drat-trim

The DRAT-trim proof checker

Language:CLicense:MITStargazers:0Issues:0Issues:0

GrammarComparison

A system for analyzing and comparing context-free grammars

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:4Issues:0

klee

KLEE Symbolic Virtual Machine

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

legion

The Legion Parallel Programming System

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

LoopAnalysis

scratchy scripts on Solidity loop analysis

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

Reading-Group

Stargazers:0Issues:7Issues:17

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

stac-annotations

Library for STAC Analysis Annotations

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

STAC-engagement-src

Language:JavaStargazers:0Issues:0Issues:0

utopia-group.github.io

Language:CSSStargazers:0Issues:0Issues:0