An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Repository Index
47,133 repositories indexed
25,009–25,032 of 26,757 · Most stars
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK TOTP library
SPARK formal verification automated with Travis CI
ScalaNative bindings for Qt5
- scala-native
- qt5
Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.
- cli
- getopt
- gnu
- go
Small tool to validate epub files for macOS. Based on https://github.com/IDPF/epubcheck
Create and easily manage your blog on Github
A Swift playground demonstrating how to use Core Animation
- swift-playgrounds
A utility package for Cloudflare workers
- worker
- cloudflare-worker
Yield farming opportunity for Golem's GLM token holders. (By staking uniswap-LP tokens that is a pair between GLM and ETH into the stake pool)
- golem
- solidity
- truffle
- web3js
generate a static rtree (using terraformer) from a set of geojson features
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
DOM selection and manipulation using BEM (Block, Element, Modifier).
- bem
- dom
- block
- element
a JRuby maximum entropy classifier for string data, based on the OpenNLP Maxent framework
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
An UI and API for mididings https://github.com/mididings/mididings
- mididings
- live-music-automation
- osc-integration
- python-midi
Tag based configuration loader from different providers
- go
- golang
- configuration
- struct
A pygame API-compatible reimplementation for running `pygame`-style code inside Jupyter notebooks (backed by ipycanvas)
Sniff packet Communications Between Real Gameboy And Real Gameboy Printer
This bundle can help you to deserialize incoming request parameters from symfomy http request object to your DTO objects. This is a better alternative for new symfony request DTO resolvers.
- bundle
- php
- symfony
- symfony-bundle
Dynamic forms in wagtail
export windows hardware info and sensors to prometheus type