A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
81,588 visible repositories in the index
6,649–6,672 of 7,253 · Most stars
A multi-account, form-based, database-less, application-wide, Rails authenticator.
Drag an image onto a map, trace the paths you need, and export as geojson to use in your application 🖼 ➡️ 🗺
A solution for using JavaScript in Blazor Web Applications
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Pyramid plugin for openapi spec generation (using ApiSpec)
Log4j, Knockout.js, WebSockets and Play! Log4Play is a module that provides a log4j appender which publishes log entries to an EventStream. The module also provides an user interface which uses a WebSocket creating a live stream of log messages. You can use this user interface to look at the logs of your application without needing to login to the actual box.
Just a simple implementation of DDD + clean architecture pattern. It also contains the exaplanation about the concepts that supports this implementation.
- domain-driven-design
- ddd
- ddd-architecture
- ddd-patterns
:telescope: Customizable, cross-platform FRC Scouting application based on Electron.
Accurate segmentation of bacterial microscope images using deep learning synthetically generated image data.
- microscopy
- image-processing
- segmentation
- biology
Identity and session through ESR using EOSIO/universal-authenticator-library
Boot an Elixir application step by step (inspired by RabbitMQ)
- elixir
- erl
- erlang
A simple unofficial wrapper application for Trello.com. No longer maintained. Superseded by Trello's own app: https://apps.apple.com/app/trello/id1278508951?ls=1&mt=12
- trello
- swift
- app
- macos
A High Performance, Generic, thread-safe, zero-dependency, key-value, in-memory cache
- golang
- cache
- generic
- in-memory-cache
Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
:ribbon: Injects a ribbon into your web application depending on the environment
NCrontab.Scheduler is a simple, open source task scheduling system that can be used in any .NET application
- automation
- scheduler
- scheduling
- tasks
A library for handling physical quantities and the units of measure in which they're represented.
create type dynamically in Golang
Which contacts changed outside your iOS app? Better CNContactStoreDidChange notification: Get real changes, without the noise.
- cncontact
- cncontactstore
- contacts
- ios
A tool to extract local data storage of an Android application in one click.
- android-extract
- android
- storage
- security-tools
ClearX is an alternative way to Redux and MobX to maintain the application state and provides a simple interface to bind it to UI components.