Reproduction of Poetiq's record-breaking submission to the ARC-AGI-1
A Coverage-Guided, Native Python Fuzzer
A python library that makes AMR parsing, generation and visualization
Detect and validate 500+ types of hardcoded secrets
This linter plugin for SublimeLinter provides an interface to ESLint
Jupyter kernel for Coq
A simple, secure MCP-to-OpenAPI proxy server
Automatically mock your HTTP interactions to simplify testing
A Python framework to write Kubernetes operators in just a few lines
A little word cloud generator in Python
Swagger/OpenAPI First framework for Python on top of Flask
Python3 web crawler practice
Multi-Agent daTa geneRation Infra and eXperimentation framework
Diversity-driven optimization and large-model reasoning ability
minted is a LaTeX package that provides syntax highlighting
Prisma Client Python is an auto-generated and fully type-safe database
A modular, primitive-first, python-first PyTorch library
Extract one time password (OTP) secrets from QR codes
A batteries-included library for building AI-powered software
End-to-End Library for Continual Learning based on PyTorch
Google Toolbox for Mac
The Shiptest Codebase
Python library for converting Python calculations into rendered latex
Trained models & code to predict toxic comments
CKAN is an open-source DMS for powering data hubs