Ultra-light Harness scaffolding for AI agents, a mini version of claude code

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Research on Coding Agents

FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight

Code for "ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning" (ICLR 2020)

A curated list of safety-related papers, articles, and resources focused on Large Language Models (LLMs). This repository aims to provide researchers, practitioners, and enthusiasts with insights i…

Prefix-Tuning: Optimizing Continuous Prompts for Generation

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

MAC-SQL: A Multi-Agent Collaborative Framework for Text-to-SQL

A book for Learning the Foundations of LLMs

This is a continuously updated handbook for readers to easily track the latest Text-to-SQL techniques in the literature and provide practical guidance for researchers and practitioners.

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Main source code repository of the Tamarin prover for security protocol verification.

结合知识库、知识图谱管理的 多租户 Agent Harness 平台。 An agent harness that integrates a LightRAG knowledge base and knowledge graphs. Build with LangChain + Vue + FastAPI, support DeepAgents、MinerU PDF、Neo4j 、MCP.

IDEA plugin for directly editing and modifying files in jar without decompression. （一款无需解压直接编辑修改jar包内文件的IDEA插件）

fork of sysmteback, a useful system backup tool

中文语言理解测评基准 Chinese Language Understanding Evaluation Benchmark: datasets, baselines, pre-trained models, corpus and leaderboard

Open-source code for RFCNLP paper.

EasyCrypt: Computer-Aided Cryptographic Proofs

Toolkit for Machine Learning, Natural Language Processing, and Text Generation, in TensorFlow. This is part of the CASL project: http://casl-project.ai/

Small portable AES128/192/256 in C

General purpose TLS and crypto library

A new method of extracting the features of keystrokes. The Hawkes process based on exponential excitation kernel was used to model the sequence of keystrokes in fixed text, and the intensity functi…

Tensorflow tutorial for various Deep Neural Network visualization techniques

keras implement of transformers for humans

Lime: Explaining the predictions of any machine learning classifier

Setup and customize deep learning environment in seconds.

Using variational Bayes for point processes method to analyze CMU dataset