Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
47,133 repositories indexed
1,249–1,272 of 1,538 · Most stars
Partial Commutative Monoids
Dependency Injection and Inversion of Control package
A Godot plugin helping in building interactive fictions and dialog system
A little logger for machine learning research
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
A list of EmberJS2018 blog posts and ideas
A through2 wrapper to create an Array.prototype.filter analog for streams
Template helpers for Session, logical operations and debug
WebLogic Honeypot is a low interaction honeypot to detect CVE-2017-10271 in the Oracle WebLogic Server component of Oracle Fusion Middleware. This is a Remote Code Execution vulnerability.
Classes to count pulses, debounce digital inputs, and calculate moving averages of analog inputs for a micropython board.
A simple logging module for go, with a rotating file feature and console logging.
Prevent your secrets from leaking into logs, std* etc.
Simple blog module to your Symfony2 project. Posts / Tags / Cut and Read more / Highlight Source Code / Breadcrumbs / Paginations / Unit tests / Disqus comments widget
SwiftyBeaver Logging Provider for Vapor, the server-side Swift web framework https://swiftybeaver.com
A JMeter plug-in that enables you to send test results to a Kafka server
3D shape analysis using deep learning
A JMeter plug-in that enables you to send test results to Azure Monitor
Logging, distilled
A simple nextjs application that showcases Game of Thrones Characters
CloudKit as a Log Storage
Esports Team Logos
An Elixir logger backend for posting errors to Slack.
A Neovim plugin to manage Docker containers, images, networks, and logs directly from your editor.
Plug for writing access logs