Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Astro
- Bikeshed
- C
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Cuda
- Dart
- EJS
- F#
- G-code
- GLSL
- Go
- HCL
- HLSL
- HTML
- Haskell
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Markdown
- PHP
- PLpgSQL
- Prolog
- Python
- QML
- Rocq Prover
- Roff
- Ruby
- Rust
- SWIG
- Scala
- Shell
- Smarty
- Svelte
- TeX
- TypeScript
- Vala
- WGSL
- Wolfram Language
XLA Serving Engine: All-purpose serving component for the XLA-based software ecosystem
Instant GPU performance insights that are always available when you need them.
Executable model integration contracts published on the Hub, run from framework CI
Xolotl: run DeepSeek-V4.1-Flash, all 552B, as a local coding agent on one gaming PC (RTX 4090 + 110 GB RAM): ~33 tok/s on agent tasks, ~41 in fast mode, 512K context. Plus GLM-5.3-Flash, Qwen3.8 an…
Neural Rendering in Action, Published by Packt
Theme-aware interface sounds for Omarchy
A Hyprland plugin that turns your workspace into a 3D space
Qwen3.8-Flash-Next on any consumer hardware: one-click install for Windows / Linux. Strata inference engine, OpenAI/Anthropic API on localhost, optional image input.
Source Code for 'AWS EKS Essentials' by Ebenezer Paintsil.
Clean-room Rust reimplementation of JAX transform semantics (jit, grad, vmap) with canonical JAXPR-like IR, Trace Transform Ledger, deterministic cache keys, and differential conformance harness
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Templates for getting started with Verso
A simple REPL for Lean 4, returning information about errors and sorries.
A batteries-included framework for building web apps
Is Parallel Programming Hard, And If So, What Can You Do About It?
A Kubernetes Operator to manage Node OS customizations.
Claude Code plugin that replaces the compaction summary with Jev decisions: every tool call and result is scored in one fast request, stale ones are dropped or truncated, everything kept stays verb…
Research language for array processing in the Haskell/ML family
Agent monitoring like herdr, without the multiplexer
Builder-pattern generation of jsonschema documents from jsonnet
Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.
Ray tracing and hybrid rasterization of Gaussian particles