Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by vyorkin

A curated list of projects in awesome lists by vyorkin .

https://github.com/vyorkin/haskbot

:construction: Haskell interpreter telegram bot. WIP.

haskell telegram

Last synced: 02 Aug 2024

https://github.com/vyorkin/math-comp-notes

:construction: Repo to keep track of my notes and solutions to the Mathematical components book.

coq math-comp ssreflect

Last synced: 23 Oct 2024