RL training environments for Microduck (mjlab)
Repository Index
80,339 visible repositories in the index
1,681–1,704 of 4,064 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
This is the development home of the workflow management system Snakemake. For general information, see
- snakemake
- reproducibility
- workflow-management
Self-referential self-improving agents that can optimize for any computable task
A PyTorch Library for Meta-learning Research
- pytorch
- maml
- meta-learning
- learning2learn
StreamAlert is a serverless, realtime data analysis framework which empowers you to ingest, analyze, and alert on data from any environment, using datasources and alerting logic you define.
- security
- kinesis
- serverless
- terraform
Show, Attend, and Tell | a PyTorch Tutorial to Image Captioning
- pytorch
- pytorch-tutorial
- show-attend-and-tell
- image-captioning
Aggregates RSS and web content(Calibre recipe), sends to Kindle, and includes an e-ink optimized online reader.
Official repository for MOSS-Image, a 5B-parameter base DiT model with high-quality text rendering, layout generation, and efficient fine-tuning.
- controllable-generation
- foundation-models
- image-generation
- text-rendering
Reference client for Bitmessage: a P2P encrypted decentralised communication protocol:
- bitmessage
- pybitmessage
- p2p-communication-protocol
- python
This is an Open source intelligent framework ie an osint tool which gathers valid information about a phone number, user's email address, perform VIN Osint, and reverse, perform subdomain enumeration, able to find email from a name, and so much more. Best osint tool for Termux and linux
- email-osint
- ip-osint
- osint
- phone-info
MuZero implementation
- muzero
- reinforcement-learning
- alphazero
- pytorch
TranslatedAn Agent Skill that keeps a video's embedded subtitles, extracts frames precisely, and generates 3:4 long images for social media
- agent-skills
- codex
- social-media
- subtitles
A persistent, unified memory layer for all your AI agents (e.g. Claude Code, Codex, DSH), backed by Markdown and Milvus.
aeneas is a Python/C library and a set of tools to automagically synchronize audio and text (aka forced alignment)
- speech
- alignment
- tts
- python
Sane and flexible OpenAPI 3 schema generation for Django REST framework.
🔎 Most Advanced Open Source Intelligence (OSINT) Framework for scanning IP Address, Emails, Websites, Organizations.
- osint
- python
- recon
- framework
[ICLR 2023] Official implementation of the paper "DINO: DETR with Improved DeNoising Anchor Boxes for End-to-End Object Detection"
[CVPR 2023 Highlight] InternImage: Exploring Large-Scale Vision Foundation Models with Deformable Convolutions
- backbone
- deformable-convolution
- object-detection
- semantic-segmentation
POT : Python Optimal Transport
- optimal-transport
- numerical-optimization
- machine-learning
- emd
Multilingual Automatic Speech Recognition with word-level timestamps and confidence
HY-World 2.0: A Multi-Modal World Model for Reconstructing, Generating, and Simulating 3D Worlds
Translation for Trilium Notes. Trilium Notes 中文适配, 体验优化
- trilium-notes
- trilium-translation
- trilium-chinese-translation
- chinese
Repositório criado com intuito de reunir informações, fontes(websites/portais) e tricks de OSINT dentro do contexto Brasil.
- osint
- brasil
- hacking
- threat-intelligence