Phobos candidate JSON implementation.
Repository Index
60,121 visible repositories in the index
2,305–2,328 of 2,595 · Most stars
A simple app made to fix the sound issues that sometimes happen while using an external HDMI monitor on macOS (not tested after Mojave).
Infinity GBC
Tom's Honey Pot as seen in Applied Network Security Monitoring.
A self-hostable MQTT dashboard/explorer for IoT developers.
A code-first BDD testing framework for Kotlin & Java.
- agile-methodologies
- bdd
- bdd-framework
- fluent
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Opentrain repository for community data analysis of Israel Railways train delay data.
Vim plugin for https://github.com/hexdigest/gounit
- vim
- go
- golang
- unit-testing
Set of drivers for MQ series sensors for Micropython
- micropython
- mq2
- mq7
- monitoring
Sokoban (in Coq) [maintainer=@erikmd]
This unit allows building simplified html with Delphi.
Tool for seamless serial debug and file synchronisation with MicroPython devices via the serial REPL
Object Relational Mapping unit built on top of Greyhound project
NitroNet for Sitecore extends NitroNet with the support for the WCMS Sitecore. It handles all possible presentation scenarios to integrate a handlebars frontend into Sitecore without functional loss.
- sitecore
- sitecore-module
- nitronet
- handlebars
An open source event management platform focused on Hackathons
- event
- event-management-platform
- hackathon
- hackathons
Ultimate web UI for visualizing load test results
- load-testing
- performance-analysis
- performance-metrics
- performance-monitoring
Exclusively Co-Op Metroidvania with Movement as smooth as Smash Bros Melee
- csharp
- game
- game-development
- metroidvania
A unit testing addon for Godot
- godot
- godot-eng
- test
- test-automation
🚂🚋🚋🚋 Easy choo app unit testing
- choo
- testing
A list of initiatives for adding new languages to opensource machine translation models
ODE system solver made simple. For IVPs (initial value problems).
- runge-kutta-fehlberg
- runge-kutta
- simulation
- ode-solver
A library for handling physical quantities and the units of measure in which they're represented.