A testing library that allows "time travel," "freezing time," and "time acceleration". Inspired by the ruby-timecop library.
- testing
- timecop
- crystal
Repository Index
67,762 visible repositories in the index
937–960 of 1,014 · Most stars
These dotnet new templates simplify creating PowerToys Run plugin projects and solutions.
- microsoft-powertoys
- plugin
- plugins
- powertoys
Website for the KU Affective Communication and Computing Lab
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Sentiment analysis for the German language
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Ready to go Neovim template 🏗️✈️
- community
- neovim
- plugin
- template
A Quarto blog for Bioconductor community
- community
- blog
- bioconductor
- quarto
HomeHub – PHP-basierte Visualisierung für homematicIP CCU
- ccu
- homematic
- homematicip
- php
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
📡 RasComm is a communication device that translates plain text into Morse code (IMC) visually or audibly.
- raspberry-pi-3
- morse-code
- morse-translator
- audio
Makes all children of a selected component sortable
- drag-and-drop
- cyclejs
d3.js-based tool to visualize network communication for arbitrary protocols
P2P Communication between a Client.swf and an Android Device with AIR
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Capacitor plugin for Apple Watch and wear OS communication with bidirectional messaging support
- capacitor
- capacitor-plugin
- android
- apple-watch
SmartSocket is an extensible open source, Java and PHP socket server engine. Its aim is to make creating multi-user applications as quick and painless as possible. With SmartSocket, you don't have to worry about keeping track of users, writing server code, managing threads, etc. All you have to do is use the simple communication protocol to send method call back and forth between the server and the client!
Help us make LNUG a better place
- feedback
- lnug
Magento 2 Italian Language Pack is special gift for Magento 2 Community Edition. The data of the translation is supplied by Magento 2 Translation Project of Crowdin site, on which you will contribute into the project and download the zip file to install on your own store. This knowledge base will include full of the clear guides that supports you to convert the default language (English) into Italian language on your entire store.
High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
An Elixir wrapper which communicates with the Telegram-CLI.
The repository host gives no description.
Control Nextion displays using MicroPython
- display
- library
- micropython
- micropython-lib