:scroll: Curated list of Realtime Internet Peering for Telephony (RIPT) resources
- awesome-list
- peering
- trunking
- telephony
Repository Index
67,762 visible repositories in the index
913–936 of 1,014 · Most stars
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
The repository host gives no description.
CakePHP DTO plugin - quickly generate useful data transfer objects for your app (mutable/immutable)
- transfer-objects
- data-transfer
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
JavaScript SDK for Subsocial blockchain.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Gateway for Loxone™ miniserver to communicate with mqtt broker
Install awesome community PowerToys Run plugins via this plugin ⬇️🔌📦
- microsoft-powertoys
- plugin
- plugins
- powertoys
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
MageForge is a Magento 2 module designed to assist frontend developers in streamlining their workflow and enhancing productivity.
- developer-tools
- development
- magento2
- build-automation
Phobos candidate JSON implementation.
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning
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
| Public | A secure communication stack for .NET using JSON-RPC over SSL.
- public
Opentrain repository for community data analysis of Israel Railways train delay data.
Sokoban (in Coq) [maintainer=@erikmd]
An open source event management platform focused on Hackathons
- event
- event-management-platform
- hackathon
- hackathons
Immutable Ropes for Common Lisp
Build crystal projects using nix.
- nix
- crystal-lang
Connect and communicate with Bluetooth devices.