Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by XSnow

A curated list of projects in awesome lists by XSnow .

https://github.com/xsnow/ecoop2020

A Type-Directed Operational Semantics for a Calculus with a Merge Operator

Last synced: 14 Nov 2024

https://github.com/xsnow/tamingmerge

Coq formalization for Taming the Merge Operator

Last synced: 14 Nov 2024

https://github.com/xsnow/bowtie_coq

A Bowtie for a Beast (Artifact)

coq

Last synced: 24 Dec 2024

https://github.com/xsnow/zfs-autosync

Last synced: 14 Jan 2025