Repository Index

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Naive Bayes text classification implementation as an OmniCat classifier strategy. (#ruby #naivebayes)

• naive-bayes-classifier
• ruby
• text-classification
• sentiment-analysis

A lightweight Windows tray application that helps you follow the 20–20–20 rule by reminding you every 20 minutes to rest your eyes and look into the distance.

• 20-20-20-rule
• csharp
• dotnet-framework
• eye-care

Simple partial application for FuncN and ActionN on RxJava [STABLE]

Realtime Blog Application using React+PocketBase 🪄

• pocketbase
• realtime-database
• reactjs
• blog

:scroll: Curated list of Realtime Internet Peering for Telephony (RIPT) resources

• awesome-list
• peering
• trunking
• telephony

Adapter for a dropwizard appication (v0.8) so that it can be deployed as a war on a servlet 3 container

Text language identification using Wikipedia data

Typed test data factories for Go. Compile-time checked field references, faker-backed defaults, and factories derived from factories.

• factories
• factory
• faker
• go

ESMira is a tool for running longitudinal studies (ESM, AA, EMA, ...) with data collection and communication with participants being completely anonymous.

• esm
• aa
• ema
• mobile

VBA code for simple modification of PDF files (read in, combine, write out) with no external libraries

• pdf
• vba
• vba-excel

A sample pastebin application for Pyramid

ExPrompt is a helper package to add interactivity to your command line applications as easy as possible.

Source-to-Image builder for Common Lisp applications on OpenShift

cl-webdriver-client is a client library for WebDriver (W3C specification).

Rust framework for creating SIP applications

• crates
• sip
• sip-parser
• rust-framework

A netflix-like portal application with pilets

• sample
• piral
• demo
• microfrontends

Application to extract features from plant root images

Go HTTP client w/ HTTPS and SOCKS5 Proxy Load-balancing, Failover, Retries, Authentication, and RoundTripper

• golang
• golang-library
• http
• http-client

Meer is a "spooler" for Suricata / Sagan.

A tools to work on suricata stats.log file.

Quanfima (Quantitative Analysis of Fibrous Materials)

• data-analysis
• material-science
• volumetric-data
• morphological-analysis

Provides primitives to perform ordered GRAceful TERmination for Golang applications

• graceful-shutdown
• termination
• graceful-degradation
• graceful-restart-process

Example Dockerfile for deploying a CakePHP application in a Docker container, able to connect to a remote database with database-based sessions.

• cakephp
• cakephp-application
• docker-container
• dockerfile