A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
- cryptography
- rust
- proxy-re-encryption
- transform-encryption
Repository Index
47,133 repositories indexed
3,073–3,096 of 4,353 · Most stars
High-performance configuration management framework for Go applications with zero-allocation performance, universal format support (JSON, YAML, TOML, HCL, INI, Properties), and an ultra-fast CLI powered by Orpheus.
- configuration-management
- go
- hcl
- high-performance
A cross-platform build tool for LÖVE
- love2d
- lua
- build-tool
- rust
A collection of useful form types and extensions for Symfony.
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A JavaScript client library that brings cross-platform consistency to the Selenium WebDriver API.
A curated collection of publicly available resources on how companies around the world perform load testing
- performance-testing
- load-testing
- best-practices
- performance-engineering
Beautiful Bootstrap 3 forms for Om, Reagent and Rum.
The Frank!Framework is an easy-to-use, stateless integration framework which allows (transactional) messages to be modified and exchanged between different systems.
- java
- system-integration
- open-source
- community-driven
Library to parse, format and convert byte units
SPY - C++ Information Broker
- predef
- concepts
- constexpr
- cpp20
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Open Source Threat Intelligence Platform
- cti
- cybersecurity
- security
- intelligence
Delphi and Lazarus Message Dialogs with Formatted Text
- delphi
- pascal
- messages
- dialogs
The repository host gives no description.
- webcompiler
- dotnet
- cross-platform
- scss
Markdown blog with GitHub Pages
- blog
- blog-engine
- blog-platform
- blogger
NetCoreCMS is a modular theme supported Content Management System developed using ASP.Net Core 2.0 MVC. Which is also usable as web application framework. This project is still under development. Please do not use before it's first release.
- asp-net-core
- c-sharp
- cms-framework
- site-engine
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
High-performance Piecewise Geometric Model (PGM) learned index implementation in pure Rust with strict epsilon error guarantees
A library for formatting strings on iOS and macOS
Self-hosted photovoltaic dashboard for monitoring solar production, consumption, battery usage, grid exchange, and financial performance.
- photovoltaic
- photovoltaics
- photovoltaics-dashboard
- influxdb
Daggy - Data Aggregation Utility and C/C++ developer library for data streams catching
- serverless-framework
- streaming
- stream-processing
- qt
Repository to manage WhiteWind atproto blogging platform codes