A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
47,133 repositories indexed
3,865–3,888 of 4,692 · Most stars
High performance utility functions using Generics
- filter
- functional
- generics
- go
A high-performance basic router works anywhere.
A performant, 100% native-julia SHA1, SHA2, and SHA3 implementation
- cryptography
- sha1
- sha2
- sha3
Windows tool to display the internal structure of an MXF (Material eXchange Format) file
- mxf
- inspect
- analyzer
- broadcast
A DDP client with GUI (The Postman for Meteor)
- meteor
- postman
- ddp-client
- gui
The repository host gives no description.
collection of my processing sketches used for transforming images to scribbly vector images
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
Simple Go ORM for Google/Firebase Cloud Firestore
- golang
- go-module
- orm
- firestore
Apache JMeter plugin for load testing HLS and MPEG-DASH video streams. Simulates adaptive bitrate playback, manifest/segment downloads, and live or VOD streaming.
A modern, high-performance C++17 graphics and compute library based on Vulkan
What do we say to JavaScript? Not today! motherfuckingwebsite.com inspired CTF platform.
Compile time internationalization for Elm supporting multiple input and output formats
Hackathon application and user information system
Elixir library to log custom application metrics, in a well-structured, human and machine readable format, for use by downstream log processing systems (Librato, Reimann, etc...)
- elixir
- metrics
- librato
A small and user-friendly ETS wrapper for caching in Elixir
- caching
- caching-library
- memory-cache
- performance
Simple C++ InfluxDB client via MS C++ REST SDK + RxCpp for batching (Windows/OSX/Linux) + a C wrapper
- influxdb
- rxcpp
- batching
- client
A performant cache for logging systems. CacheAdvance persists log events 30x faster than SQLite.
Package for fast copying structs of different types
- golang
- go
- golang-library
- golang-package
Gradle plugin to run JMeter tests
iOS validation framework with form validation support
- validation
- validator
- form
- validation-library
Analysis tool for estimating the likelihood that a binary contains compressed or encrypted bytes
- entropy
- pe-file
- pe-files
- pe-format
Dataset of packed PE samples
- dataset
- pe-files
- upx
- samples