A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
71,372 visible repositories in the index
5,737–5,760 of 7,080 · Most stars
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
ExImageInfo is an Elixir library to parse images (binaries) and get the dimensions (size), detected mime-type and overall validity for a set of image formats. It is the fastest and supports multiple formats.
Programs to identify link communities in complex networks
IsoHill is a new isometric engine for Flash Player 11 [molehill] built on top of the open 2D framework Starling. Features: Plugins - engine-wide modifications, Includes a TMX [CVS export] parser, Components - dynamic logic can be added and removed from IsoSprites, Virtually unlimited layers, Anti-aliasing of isometric tiles, deterministic framework, Mipmapping, and under BSD license
Protocol oriented, type safe, scalable design system foundation swift framework for iOS.
Translated麦麦一起点 (Maimai Yiqi Dian, "Order Together with McMcD"): students at special education schools for intellectual disabilities use pictures to express their choices, and parents take over to check them. A McDonald's MCP ordering communication prototype.
A library designed to generate cryptographically strong random numbers suitable for managing data such as passwords, account authentication, security tokens, and related secrets.
🌍 A lightweight Swift framework for Google's Cloud Translation API — translate text, detect languages, and list supported languages. Works with SPM, CocoaPods & Carthage.
An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!
A fast & lightweight approach to logging in R based on the widely-emulated Apache Log4j project.
Program to help choose moves in the Pokemon Shuffle puzzle game
A collection of helper programs and a helper library for Ledger (ledger-cli)
Write amazing, strong-typed and easy-to-read NSPredicate.
The repository host gives no description.
Electra is an esolang where you code like an electrician.
Android Secure SharedPreferences Using Facebook Conceal Encryption
Get PushBullet notifications when a shell program exits.
A curated list of awesome cytodata resources https://www.cytodata.org/awesome-cytodata/
Go Hosting Solution for AWS, Google Cloud and Digital Ocean
The repository host gives no description.
🚨 Fiber middleware for slog logger
Cache slam defense using a semaphore to prevent dogpile effect.
Implementation Nintendo's GameBoy console on an FPGA
A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)