The Agda standard library
The standard library aims to contain
all the tools needed to write both
programs and proofs easily. While we
always try and write efficient code, we
prioritize...
Enter
Json-lib
Development of this library has been
moved to
https://github.com/kordamp/json-lib/
Json-lib is a java library for
transforming beans, maps, collections,
java a...
Enter
Basketball Reference
Basketball Reference is a great site
(especially for a basketball stats nut
like me), and hopefully, they don't
get too pissed off at me for creating
this....
Enter
Lazarus lpk-adder
After installing a new Lazarus Version,
a reinstall of packages is needed. This
tool located and executed in an
directory above your Lazarus
-package-directori...
Enter
MCP Monitor
The MCP System Monitor is a tool that
exposes system metrics via the Model
Context Protocol (MCP), allowing Large
Language Models (LLMs) to retrieve
real-time ...
Enter
WD
Lightweight time logging tool for work
related activities.
Features:ReportsQuickAddStatistics
Audience: Advanced End Users,
Developers, End Users/Desktop, Man...
Enter
Burn 89C2051
GUI-based AT89C2051 Programmer for LPT
Parallel Port This project is a
graphical user interface (GUI)
application for programming AT89C2051
microcontrollers vi...
Enter