Randomized specification-based testing for Common Lisp. Available through Quicklisp.
- testing
- quickcheck
47,133 repositories indexed
15,433–15,456 of 20,287 · Most stars
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
My personal website
Comprehensive security for Lucky framework
📺 Control any smart TV with natural language. Play Netflix by name from your terminal. PyPI: stv · MCP server · LG/Samsung/Roku/Android
AI Game Developer for Unreal Engine — MCP plugin (C++ editor plugin + .NET bridge), unreal-cli, connects Unreal Editor to AI agents via ai-game.dev or a local MCP server
Cheeseknife! It's like a weird Butter Knife ...
A curated dataset of malware and benign Windows executable samples for malware researchers
Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding
An ICAP Server with yara scanner for URL and content.
An Elixir client for the Nu HTML Checker (v.Nu).
Actionscript examples for use with the AwayPhysics library in Flash Player 11
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
Codeless manager to hide keyboard by tapping on views for iOS written in Swift
MIDI synthesizer for the Game Boy Color
A Neovim plugin to help with css unit, and number conversions.
TranslatedTurn ideas into motion graphics and animated videos with Claude or Codex.
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
Gulp.js command execution for humans
Sample project demonstrating how to use eBPF to encap/decap packets with an MPLS label.
Simple full text indexing and searching library for Java
Converts XML String to Elixir Map data structure with string keys
A fast and optimized middleware server with an absurdly small amount of code (300 lines) built on top of native HTTP APIs with no dependencies. It also has a collection of useful middlewares: log file, serve static, CORS, session, rate limit, token, body parsers, redirect, proxy and handle upload. For Deno Deploy and other enviroments!
Gamepad simulates an analog joystick input using the keyboard. Many times when we access key presses, what we are really doing is pretending that WASD, the arrow keys or some other combination are actually a D-pad or joystick with an X and Y axis, and 1 or 2 fire buttons. Gamepad handles the event capture, maths and other details of this for you, so you only have to think about how you want your game to respond to this input.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada