Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by k-bx

A curated list of projects in awesome lists by k-bx .

https://github.com/k-bx/coq_in_a_hurry_notes

Notes from "Coq in a Hurry" done via the Proof General

Last synced: 23 Oct 2024

https://github.com/k-bx/elm-sscce-null-typeerror

https://github.com/elm/compiler/issues/1848

Last synced: 23 Oct 2024

https://github.com/k-bx/fluffy-octo-journey

junk

Last synced: 23 Oct 2024