mmitkevich/Kvantor
Derivatives analysis in FSharp
Public GitHub Catalog
Discovered Oct 3, 2026
mmitkevich / softwatch
track and report user activity time automatically using windows captions and other stuff
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#26748202GitHub System ID
mmitkevichOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmitkevich
mmitkevich/actmon
Actmon is a X11 user activity (idle time) monitor module for Python.
mmitkevich/Hopac
Inspired by languages like Concurrent ML and Cilk, Hopac is a library for F# with the aim of making it easier to write correct, modular and efficient parallel, asynchronous and concurrent programs.
mmitkevich/helm
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.