A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
47,133 repositories indexed
7,537–7,560 of 10,510 · 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.
TranslatedDeep-Sea Fish Basket (深海鱼篓): a zero-registration deliverable basket for DeepSeek Harness — Document Preview in the right sidebar, inline diffs, search and sorting, one-click zip packaging, and archiving. Zero-registration deliverable basket for DeepSeek Harness.
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
A local AI development workspace for real coding work. Ptx gives Pi and OMP one calm desktop workspace for sessions, project context, scheduled work, and human review. It runs locally on macOS, Linux, and Windows; bring your own model account.
Cross-platform 'dart:io', including browser-compatible HttpClient.
A package to allow one to concurrently go through a filesystem with ease
:bento: A fast, correct, pure-Elixir library for reading and writing Bencoded metainfo (.torrent) files.
Translated⚡ Rux is an simple and fast web framework. support route group, param route binding, middleware, compatible http.Handler interface.
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
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!
PDF, MOBI, EPUB documents for Elixir's Getting Started tutorial.
WWDC.srt is a powerful app for downloading subtitles in (srt) format or data links ( video links , pdf links , sample code links ) for each WWDC session video since 2013 .
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
Fast & Simple Notes in Neovim 📃🚀
Taunahi is an advanced Hypixel Skyblock macro designed for complete automation. Includes highly optimized utility mods for garden farming, slayers, fishing, and combat, all protected by an industry-leading anti-staff system.
Write amazing, strong-typed and easy-to-read NSPredicate.
"make your credit card form dreamy in one line of code"
A re-styled version of the R manuals
Data format converters for GameMaker LTS 2022
Dependency injection made simple.
Actionscript 3 library to parse OpenType fonts and render them using Stage3D
A list of articles demonstrating how to do UI with ColdFusion on the back end.
Semi-Supervised Learning with Ladder Networks in Keras. Get 98% test accuracy on MNIST with just 100 labeled examples !