Less redundancy in type declarations and signatures
Repository Index
47,133 repositories indexed
4,249–4,272 of 5,853 · Most stars
A curated list of resources relevant to RoboCupJunior Soccer
An opinionated configuration loading framework for Containerized and Cloud-Native applications.
- go
- configuration
- config
- enviroment-variables
Generate a random integer
Generate nix expressions from opam packages
🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
- arbitrary-precision
- biginteger
- bigrational
- c-sharp
Neural network strategy for Gekko
A common lisp library to unify access to common dictionary-like data-structures
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
An example of real time collaborative web app using WebSockets and Knockout
Declare AMQP entities like queues, producers, and consumers in a declarative way. Can be used to work with RabbitMQ.
- amqp
- rabbitmq
- rabbit
- golang
Gameboy Tile Data Generator
Self-hosted challenge board for sweet open hackathons 🐝
- time-tracking
- collaborative
- organizing
- open-hackathon
go implementation of lightbend's HOCON configuration library https://github.com/lightbend/config
- golang
- go
- hocon
- hocon-configuration
Telegram API wrapper for microPython
- micropython
- esp32
- telegram-bot-api
BUPE is a Elixir ePub generator and parser (supports EPUB v3)
- elixir-lang
- epub
- elixir-epub-generator
A library for easy integration of a flexible circular WidgetGroup within libGDX
- pie-menu
- libgdx
- game-development
- ui
minimalistic terminal UI for everyday Docker operations
Hadoop Data Integration with various databases, ftp servers, salesforce. Incremental update, dedup, append, merge your data on Hadoop.
AI-powered SDK featuring algorithmic trading, backtesting, deployment on 100+ exchanges, and multiple optimization engines.
Generate Nix expressions to build PHP composer packages
Generate ✏ PDF document 📑 with iTextSharp from a Blazor Server App
- blazor
- blazor-server
- itextsharp
A Pikmin-based game/engine for fan-made content.
- allegro
- c-plus-plus
- game-editor
- game-engine
Environment specific config generator for Dart and Flutter applications during CI/CD builds