Skip to content
View dayanruben's full-sized avatar

Sponsoring

@Homebrew

Organizations

@solinftec

Block or report dayanruben

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

Starred repositories

Showing results

Sound static analysis for the masses.

OCaml 84 12 Updated Jun 12, 2026

The open source AI engineering platform for agents, LLMs, and ML models. MLflow enables teams of all sizes to debug, evaluate, monitor, and optimize production-quality AI applications while control…

Python 26,477 5,834 Updated Jun 12, 2026

An interface library for RL post training with environments.

Python 2,143 391 Updated Jun 12, 2026

Agents' Last Exam

Python 603 13 Updated Jun 11, 2026

A high-performance scientific computing library for Mojo, providing SciPy-like functionality with the speed and efficiency of native Mojo code.

Mojo 17 1 Updated May 11, 2026

Mojo Scientific library (MSL) is a comprehensive collection of scientific computation routines derived from GNU Scientific Library (GSL) written in pure Mojo 🔥

Mojo 3 Updated May 19, 2026

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

16,079 2,745 Updated Jun 1, 2026

Model export recipes, Python primitives, and Swift runtime utilities for on-device AI

Swift 825 59 Updated Jun 12, 2026

Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix, JSON output, and practical remediation guidance.

TypeScript 537 76 Updated Jun 12, 2026

The `npx serve` of Apple Simulators.

TypeScript 1,687 76 Updated Jun 12, 2026

Skills for the Gemma and model/agent interactions

Python 564 26 Updated Jun 10, 2026

GDM Science Skills to speed up agentic scientific workflows with better grounding and higher token efficiency. Integrate insights from AlphaGenome, AFDB, UniProt and 30+ other databases and tools.

Python 1,848 185 Updated Jun 8, 2026

Learning resources for Universal Scene Description (OpenUSD) including tutorials, examples, and reference materials to help developers understand and work with OpenUSD effectively

Python 264 61 Updated Apr 29, 2026

Universal Scene Description

C++ 7,317 1,421 Updated Jun 5, 2026

Catalogue of languages designed for Agents

TypeScript 6 3 Updated Jun 8, 2026

Aver is a programming language for auditable AI-written code

Rust 48 Updated Jun 12, 2026

NVIDIA Cosmos is an open platform of world models, datasets, and tools that enables developers to build Physical AI for robots, autonomous vehicles, smart infrastructure, and more.

Jupyter Notebook 10,025 646 Updated Jun 11, 2026

Reference implementation of real-time AI Physics in an interactive visualization and analysis workflow, applied to CFD and aerodynamics.

Python 112 37 Updated May 26, 2026

JetBrains editor plugins providing Pkl language support

Kotlin 74 21 Updated Jun 12, 2026

Language server for Pkl, implementing the server-side of the Language Server Protocol.

Kotlin 86 17 Updated Jun 12, 2026
Python 1,831 81 Updated Dec 16, 2025

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

Swift 21,911 1,679 Updated Jun 12, 2026

Compose frontend for Lets-Plot multiplatform plotting library.

Kotlin 228 8 Updated Jun 9, 2026

Compiler for Rux programming language

C++ 303 43 Updated Jun 12, 2026

Android AppFunctions samples

Kotlin 82 6 Updated Jun 12, 2026

Use Codex from Claude Code to review code or delegate tasks.

JavaScript 20,805 1,256 Updated Apr 18, 2026

Measuring frontier coding agents on original, long-horizon engineering tasks

Shell 772 40 Updated Jun 5, 2026

Structured RAG: ingest, index, query

Python 871 72 Updated Jun 4, 2026

This is the home for releases and issues for the GitHub Copilot app

1,489 66 Updated Jun 12, 2026

A simple SWE style browser agent framework that achieves SOTA results on long horizon web tasks.

Python 5,380 335 Updated Jun 3, 2026
Next