Mondego/dafny-synthesis

Stars
29
Rank 855,486 (Top 17 %)
Language Dafny
License
GNU General Publi...
Created over 1 year ago
Updated 3 months ago

Mondego/dafny-synthesis

Mondego

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Towards AI-Assisted Synthesis of Verified Dafny Methods

SourcererCC

Sourcerer's Code Clone project

Sourcerer

Tools, services and applications for source code analysis and search

pyreco

Type discovery for Python

oreo

Source code clone detection for clones in the Twilight Zone

crawler4py

A web crawler in Python

spacetime

The spacetime framework for simulations

spacetime-crawler4py

Yet another Web crawler

SourcererJBF

Sourcerer's Java Build Framework

oreo-artifact

rcat

A web server for massively multi-user online applications

TubeKit

crawler for YouTube

fse2023-tutorial

spacetime-crawler

The crawler apps using spacetime

pcc

Classes that are also sets

LDA-studies

Assorted scripts for studying topic modeling in source code

rcat-gs

Spring 2011 C# (server), JS (graphical client) and Java (bot client) code for massively multi-user online games

spacetime-apps

Applications on top of the spacetime framework

inf295

Data model for the simulation project

Stackoverflow-Analysis

rcat-android-client

Android client for RCAT, a server for massively multiplayer online applications.

ragman-frontend