Projects in Awesome Lists tagged with devoid

A curated list of projects in awesome lists tagged with devoid .

• Sort

  • Recently synced
  • Stars

https://github.com/uwplse/pumpkin-pi

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

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

Last synced: 02 Apr 2026

https://github.com/kinsleykajiva/janus-server-java-sdk

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

devoid java webrtc

Last synced: 29 Apr 2025