All Repositories

Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.

A Large-Scale Multimodal Car Dataset with Computational Fluid Dynamics Simulations and Deep Learning Benchmarks

[ICML'24 Spotlight] "TravelPlanner: A Benchmark for Real-World Planning with Language Agents"

Create a Microservice in Rails with minimal ceremony

Automatic type class derivation for Cats

A set of tools to connect to AI agents, to allow them to use Todoist on a user's behalf. Includes MCP support.

One-stop data intelligence agent, providing insights from all mainstream data formats in a single dialogue box, including documents, databases, business systems, and images.一站式数据智能体，一个对话框提供所有主流格式数据的见解，包括文档、数据库、业务系统和图像。

A beautiful Flutter music streaming client for Subsonic-compatible servers with a modern Apple Music-inspired UI.

Automated UI testing API for Dynamics 365

Effortlessly add AI-generated transcription subtitles to your videos

PostgreSQL logical replication library for Go.

Eclipse BIRT™ The open source reporting and data visualization project.

A template for building a blog with the Eleventy static site generator and Decap CMS

Cross-platform process cpu % and memory usage of a PID

Bring the power of Bevy to your Godot projects

🎉 Vue3-Toastify allows you to add notifications to your app with ease.

The only open-source toolkit that can download SEC EDGAR financial reports and extract textual data from specific item sections into nice & clean structured JSON files. Presented at WWW 2025 @ Sydney, Australia (https://dl.acm.org/doi/10.1145/3701716.3715289)

Lean theorem proving interface which feels like pen-and-paper proofs.

AI Trading Agent on Hyperliquid

一个可以给几乎任何视频网站添加弹幕的开源软件 | An open source solution to add danmaku to almost every video website

A framework for Smoothed Particle Hydrodynamics in Python

An app that allows you to easily change icons of your favorite sites on Safari

Software and Hardware Production Files of the Automotive Rapid DEvelopment Platform (ARDEP)

(ITSC 2021) Optimising the selection of samples for robust lidar camera calibration. This package estimates the calibration parameters from camera to lidar frame.

That's a terminal prompt changer that shows a few cool git informations about your repository state. You can choose among different styles and enjoy all the aliases it provides you. Feel free for contributing, pull requests and issues are always welcome! ;)

FrameScan-GUI 一款python3和Pyqt编写的具有图形化界面的cms漏洞检测框架。

the MSX emulator that aims for perfection

ComfyUI nodes for WanAnimate model input preprocessing