#
Starred repositories
BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated code.
ATLAS: Software Engineer AI Agent. Living memory persists. Learning compounds. Every commit evolves it. Professional focus. KISS/YAGNI/DRY and Depend on Context. No overengineering. Clean code and …
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
PHP runtime & extensions header files for PhpStorm
python tool to detect and clean hidden characters used for watermarking
Install WinGet using PowerShell! Prerequisites automatically installed. Works on Windows 10/11 and Server 2019/2022.
PHP utility to handle text truncation within HTML while maintaining full tag structure. Truncate by chars, words, sentences or paragraphs. Optionally finish on whole words/sentences.
Generate accurate OpenAPI 3.1.0 docs for your Laravel project.
Modern Laravel OpenAPI (Swagger) documentation generator. No PHPDoc annotations required.
A cross platform Bluetooth Low Energy Client for Python using asyncio
Cross platform utilities useful for configuring features and assessing health on SATA, SAS, NVMe, and USB storage devices.
The command prompt has been disabled by your administrator
FENICE (Factuality Evaluation of Summarization based on Natural Language Inference and Claim Extraction) is a factuality-oriented metric for summarization.
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
Python tool to compute the average frame of a video.
Sharing both practical insights and theoretical knowledge about LLM evaluation that we gathered while managing the Open LLM Leaderboard and designing lighteval!
Technical report of Kimina-Prover Preview.
guida-lang / compiler
Forked from elm/compilerGuida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existing Elm 0.19.1 projects
Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)
F5 BIG-IP SDK for the Go programming language.
Official implementation of Half-Quadratic Quantization (HQQ)