8000 crista / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View crista's full-sized avatar
248 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

Organizations

@Mondego @ACM-OOPSLA @clowdr-app

Block or report crista

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

Mondego / dafny-synthesis

[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods

Dafny 48 Updated Jun 9, 2024

clowdr-app / clowdr

Midspace (formerly Clowdr) is a completely open-source virtual conference platform. Host complex events with hundreds of authors and presenters. Midspace includes automated livestreams, video chat,…

TypeScript 57 20 Updated Oct 2, 2022

Mondego / spacetime

The spacetime framework for simulations

Python 19 19 Updated Feb 24, 2021

Mondego / SourcererCC

Sourcerer's Code Clone project

Java 213 70 Updated May 17, 2022

Burtsev-Alexey / net-object-deep-copy

C# extension method for fast object cloning.

C# 396 102 Updated Jul 1, 2017

syncthing / syncthing

Open Source Continuous File Synchronization

Go 73,403 4,655 Updated Jul 8, 2025

Mondego / crawler4py

A web crawler in Python

Python 22 17 Updated Mar 9, 2016

Mondego / Sourcerer

Tools, services and applications for source code analysis and search

HTML 62 23 Updated Sep 11, 2015
0