A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Repository Index
47,133 repositories indexed
6,193–6,216 of 8,611 · Most stars
Data anonymization for your Ecto models !
Self-hosted challenge board for sweet open hackathons 🐝
- time-tracking
- collaborative
- organizing
- open-hackathon
Toolbox for the analysis of smFISH images.
- pattern-classification
- rna-localization
- segmentation
- smfish
A Consistent Data Visualizer for Agents and Humans
The NuGet package that provides post published processing to deploy the ASP.NET Core SPA project (such as Blazor WebAssembly) as a GitHub pages site.
- blazor
- blazor-webassembly
- github-pages
Ruby port of the NLTK Punkt sentence segmentation algorithm
- rubynlp
- sentence-tokenizer
- ruby
- sentence-boundaries
Visualize Go struct and interface implementations
BUPE is a Elixir ePub generator and parser (supports EPUB v3)
- elixir-lang
- epub
- elixir-epub-generator
AI-powered SDK featuring algorithmic trading, backtesting, deployment on 100+ exchanges, and multiple optimization engines.
Generate ✏ PDF document 📑 with iTextSharp from a Blazor Server App
- blazor
- blazor-server
- itextsharp
Internationalization tools, particularly message translation.
- aura
- intl
- php
- internationalization
Go Fetch - A Powerful, Lightweight, Easy Http Client, inspired by Web Fetch API
A ClojureScript library for keeping your state in step
A Northwind demo using Aurelia and Breeze
MQTT to OPCUA protocol converter/gateway
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
Docker service for automatically updating Docker swarm services whenever their image is updated.
- docker
- docker-swarm
- self-hosted
- automation
Add a caching interface to Prisma, compatible with Memcached, Redis and Hazelcast.
Online Go Debugger & Visualizer
- go
- golang
- visualizer
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Lua binding to libzip.
Close your running apps easily. One click, and they're gone. Say Bye to the mess.
- design
- macos
- opensource
- productivity
Lightweight Bluetooth Low Energy driver written in pure python for micropython
- bluetooth-low-energy
- micropython
- pyboard
- hci