#

devoid

Here are 3 public repositories matching this topic...

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

refactoring dependent-types coq transport repair coq-plugin ornaments devoid pumpkin-patch proof-reuse algebraic-ornaments proof-repair equivalences pumpkin-pi proof-refactoring proof-assistants

Updated Apr 24, 2024
Coq

kinsleykajiva / janus-server-java-sdk

Janus WebRTC Server SDK for Java (Desktop & Web-Backend)

java webrtc devoid

Updated May 15, 2024
Java

Nekomian44 / SomethingSomethingTacos

Escapee's Devoid Project!

game unity project spaceship escapees devoid

Updated Dec 8, 2017
ASP

Improve this page

Add a description, image, and links to the devoid topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the devoid topic, visit your repo's landing page and select "manage topics."