Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by K-dizzled
A curated list of projects in awesome lists by K-dizzled .
https://github.com/k-dizzled/relations-via-egg
COQ Plugin solving relations from Hahn coq lib using Rust EGG library.
Last synced: 17 Nov 2024
https://github.com/k-dizzled/proartgan
Progressive generative adversarial network for generating images
Last synced: 17 Nov 2024
https://github.com/k-dizzled/disermessaging
A website for Diser messaging app
Last synced: 17 Nov 2024
https://github.com/k-dizzled/isa-interpreter
An interpreter for simple ISA with shared weak memory.
Last synced: 17 Nov 2024