- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Frege
- Go
- Go Template
- Grammatical Framework
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Liquid
- LiveScript
- Lua
- MATLAB
- Makefile
- Motoko
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- R
- Reason
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Self
- Shell
- Smalltalk
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- V
- VHDL
- Vala
- Vim Script
- WebAssembly
- YAML
- Zig
- reStructuredText
Starred repositories
A GitHub Action that validates if your uv.lock file and optionally requirements.txt files are in sync with your pyproject.toml file.
Achieve state of the art inference performance with modern accelerators on Kubernetes
Community plugin to control Blender 3D with any LLM of your choice
Kubebuilder - SDK for building Kubernetes APIs using CRDs
Golang deep variable equality test that returns human-readable differences
Fara1.5 – A family of frontier computer use agent models
A simple screen parsing tool towards pure vision based GUI agent
Pioneering Automated GUI Interaction with Native Agents
DeepSeek Harness: Everything is a Plugin.
a guard that blocks catastrophic agent actions
Your terminal's ghostwriter. Use AI to catch local bugs, draft semantic commits, and auto-generate PR descriptions with your templates directly from your Git diffs.
SSL and TLS protocol test suite and fuzzer
To store additional RHOAI images which are not being refernced in the manifests
OpenShell-as-a-service across multiple clouds
VSCode extension that is designed to help automate writing of Coq proofs.
TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implement…
MCP management console for the official DeepSeek Harness MCP client: /mcp command with health diagnostics and pipeline trial calls, a Settings MCP tab with server CRUD (approval-gated writes, autom…
Tiny macOS CLI for short max-speed fan boosts on supported M-series Macs.
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Meta-Framework of Spatiotemporal Composability
AI code reviewing platform for assisted, prioratized and swift PR reviews
Static analysis tool to detect potential nil panics in Go code
AI and cloud-native proxy server and framework
Upload code coverage report from your GitHub Actions workflow