Skip to content
View kanndil's full-sized avatar

Organizations

@AUCOHL @AUTOPIA-OS

Block or report kanndil

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

RAGFlow is a leading open-source Retrieval-Augmented Generation (RAG) engine that fuses cutting-edge RAG with Agent capabilities to create a superior context layer for LLMs

Python 78,348 8,838 Updated Apr 17, 2026

LLM Council works together to answer your hardest questions

Python 17,192 3,399 Updated Nov 22, 2025

A clean, modular SDK for building AI agents with OpenHands V1.

Python 656 221 Updated Apr 17, 2026

Long Range Arena for Benchmarking Efficient Transformers

Python 788 86 Updated Dec 16, 2023

The Electricity Transformer dataset is collected to support the further investigation on the long sequence forecasting problem.

940 174 Updated Jun 4, 2021

Open-source AI hackers to find and fix your app’s vulnerabilities.

Python 24,144 2,654 Updated Apr 16, 2026

An advanced SAT solver

C++ 926 198 Updated Apr 16, 2026

A simple SAT solver that implements the DPLL algorithm with unit resolution

C++ 47 24 Updated Sep 10, 2019

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

Python 9 8 Updated Jan 20, 2024

Repair malformed JSON from LLMs, APIs, logs, and user input in Python.

Python 4,660 186 Updated Apr 17, 2026

Commit0: Library Generation from Scratch

Python 187 18 Updated Feb 24, 2026

🚀 The fast, Pythonic way to build MCP servers and clients.

Python 24,607 1,931 Updated Apr 17, 2026

Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]

Jupyter Notebook 668 40 Updated Jul 29, 2025
Verilog 1 1 Updated Oct 28, 2025

Custom Daytona Proxy Samples

Go 11 8 Updated Aug 7, 2025
Verilog 6 5 Updated Feb 24, 2025

LLM-aided Hardware Design and Verification

Jupyter Notebook 26 6 Updated Apr 4, 2026

CVC: Circuit Validity Checker. Check for errors in CDL netlist.

C++ 35 5 Updated Apr 9, 2026
Shell 2 1 Updated Apr 9, 2026

A powerful AI coding agent. Built for the terminal.

Go 12,066 1,268 Updated Sep 18, 2025

A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

Python 23,064 1,548 Updated Apr 17, 2026
Python 4 3 Updated Mar 6, 2026

ASIC implementation flow infrastructure, successor to OpenLane

Python 367 62 Updated Apr 12, 2026

A large scale dataset and reconstruction script of both raw prostate MRI measurements and images

Jupyter Notebook 76 11 Updated Aug 4, 2024
Python 139 35 Updated Mar 10, 2025

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

Python 19,000 2,050 Updated Apr 13, 2026
Next