Lists (10)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Coq
- Cuda
- Dockerfile
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MDX
- MLIR
- Makefile
- Markdown
- Nushell
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Rich Text Format
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Zig
Tensors and Dynamic neural networks in Python with strong GPU acceleration
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Open-source high-performance RISC-V processor
DuckDB is an analytical in-process SQL database management system
ClickHouse® is a real-time analytics database management system
MiroThinker is a deep research agent optimized for complex research and prediction tasks. Our latest models, MiroThinker-1.7 and MiroThinker-H1, achieve 74.0 and 88.2 on the BrowseComp, respectively.
Breakthrough Method for Agile Ai Driven Development
An Open Source Machine Learning Framework for Everyone
A machine learning compiler for GPUs, CPUs, and ML accelerators
Debug, evaluate, and monitor your LLM applications, RAG systems, and agentic workflows with comprehensive tracing, automated evaluations, and production-ready dashboards.
The Monorepo Platform that amplifies both developers and AI agents. Nx optimizes your builds, scales your CI, and fixes failed PRs automatically. Ship in half the time.
A retargetable MLIR-based machine learning compiler and runtime toolkit.
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…
Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases
A high-throughput and memory-efficient inference and serving engine for LLMs
An open-source AI agent that brings the power of Gemini directly into your terminal.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A curated list of awesome skills, hooks, slash-commands, agent orchestrators, applications, and plugins for Claude Code by Anthropic
f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.
YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite