Skip to content
View danieltrt's full-sized avatar

Highlights

  • Pro

Block or report danieltrt

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Autonomously train research-agent LLMs on custom data using reinforcement learning and self-verification.

Jupyter Notebook 548 43 Updated Mar 22, 2025

Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"

Python 477 36 Updated Mar 16, 2025

Clean, minimal, accessible reproduction of DeepSeek R1-Zero

Python 11,404 1,443 Updated Mar 10, 2025

Spoofax runtime

Java 140 23 Updated Jan 30, 2025

Fully open reproduction of DeepSeek-R1

Python 23,457 2,132 Updated Mar 28, 2025

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 294,809 49,019 Updated Dec 2, 2024

Systems design is the process of defining the architecture, modules, interfaces, and data for a system to satisfy specified requirements. Systems design could be seen as the application of systems …

Shell 5,632 1,540 Updated Mar 6, 2024

The easiest way to serve AI apps and models - Build Model Inference APIs, Job queues, LLM apps, Multi-model pipelines, and more!

Python 7,546 829 Updated Mar 28, 2025

Playing Pokemon Red with Reinforcement Learning

Jupyter Notebook 7,250 689 Updated Mar 6, 2025

AAAI 2025: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Python 2 Updated Dec 21, 2024
WebAssembly 2 Updated Sep 24, 2024

Development repository for the Triton language and compiler

Python 114 30 Updated Mar 28, 2025

A high-throughput and memory-efficient inference and serving engine for LLMs

Python 43,007 6,532 Updated Mar 29, 2025

A tool for refactoring code related to feature flag APIs

Rust 1 Updated Oct 22, 2024

An awesome code differencing tool

Java 976 175 Updated Mar 14, 2025
Python 3 5 Updated May 28, 2024

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698

Jupyter Notebook 32 7 Updated Mar 24, 2025

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

TypeScript 32,099 7,656 Updated Mar 28, 2025

An extremely fast Python package and project manager, written in Rust.

Rust 46,876 1,319 Updated Mar 29, 2025

GUI analyzer for deep-diving into PDF files. Detect malicious payloads, understand object relationships, and extract key information for threat analysis.

Rust 825 25 Updated Aug 22, 2024
Shell 4 Updated Aug 15, 2024

An analysis tool for Python that blurs the line between testing and type systems.

Python 1,101 55 Updated Mar 27, 2025

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

C 5,587 1,091 Updated Mar 25, 2025

Static Type Checker for Python

Python 14,063 1,617 Updated Mar 29, 2025

Automatic verification of LLVM optimizations

C++ 877 116 Updated Mar 17, 2025
C++ 5 1 Updated Aug 22, 2024

Spoofax implementation using PIE pipelines

Java 13 9 Updated Oct 3, 2024

Community-led collection of essential ast-grep rules.

38 4 Updated Mar 28, 2025
Shell 6 Updated Sep 23, 2021
Next
Showing results