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
5,617–5,640 of 8,132 · Most stars
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
pre-commit git hooks to take care of OpenTofu configurations
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
Programs to identify link communities in complex networks
Implementation for Common Lisp.
Cross-platform 'dart:io', including browser-compatible HttpClient.
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
mini bash framework for creating command line tools
:alarm_clock: Parse Cron Expressions, Compose Cron Expression Strings and Caluclate Execution Dates.
A Float Input View with smooth animation and supporting icon and seperator written with Swift
Detects the language using treesitter and adds a comment block
Compilado de recursos sobre Computação Quântica em português
The world's only Open Source CPaaS with a Twilio compatible API
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
CARLA-based cooperative perception system integrating YOLO26n, V2I communication, sensor fusion, TTC risk assessment, and automated braking.
TranslatedVRS Application Recommendation System (志愿 "zhiyuan", college application choices): FastAPI + Neo4j + DeepSeek, with Zhejiang gaokao (college entrance exam) historical data as an example, including Excel data templates.
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.
The uncomplicated Yew State management library
Tiny Full-Stack React framework. Avoid Overengineering. Automatic routes, reload and component bundle. It uses its own RSC engine, combining SSR and CSR. 100% Deno, no Node dependencies. Fully compatible with Deno Deploy and Serverless Environments.
A collection of command-line tools to work with your Mastodon account
A curated list of awesome Open Organizations and Communities!
Emacs mode for LESS CSS (lesscss.org), with support for compile-on-save
Cumo (pronounced like "koomo") is CUDA aware numerical library whose interface is highly compatible with Ruby Numo