Lists (1)
Sort Name ascending (A-Z)
- All languages
- AMPL
- ANTLR
- APL
- Ada
- Agda
- Arc
- Arduino
- Assembly
- AutoHotkey
- Batchfile
- Bikeshed
- Blade
- Boogie
- Bru
- C
- C#
- C++
- CSS
- Click
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Component Pascal
- Coq
- Crystal
- Cuda
- Cypher
- Cython
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Fluent
- Fortran
- Frege
- Gherkin
- Gleam
- Go
- Go Template
- Grammatical Framework
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Inform 7
- Jai
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- KCL
- Kaitai Struct
- Kotlin
- LLVM
- LabVIEW
- Lean
- Lua
- MATLAB
- MAXScript
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mathematica
- MiniZinc
- Mojo
- Mustache
- NetLogo
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenQASM
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- Perl 6
- PostScript
- PowerShell
- Prolog
- Promela
- Pug
- PureScript
- Python
- R
- RMarkdown
- Racket
- Raku
- ReScript
- Reason
- Red
- Rich Text Format
- Roc
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Smalltalk
- Solidity
- Stan
- Standard ML
- Starlark
- Svelte
- Swift
- TSQL
- TeX
- Text
- Thrift
- Tree-sitter Query
- Turing
- Twig
- TypeScript
- Typst
- V
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- Wren
- XSLT
- YAML
- YARA
- Zig
- jq
- q
Starred repositories
josevalim / sql
Forked from elixir-dbvisor/sqlSQL provides state-of-the-art, high-performance SQL integration for Elixir, built to handle extreme concurrency with unmatched expressiveness and ergonomic query composition. Write safe, composable…
CountryInfo.txt and related utility program
digitalcortex / impit
Forked from apify/impitFork of impit | rust library for browser impersonation. Removed python, nodejs integration and "scraper" as unnecessary dependency.
JTrippas / simiir-3
Forked from simint-ai/simiir-3SimIIR 3.0 framework for simulating interactive information retrieval (IIR).
Maintained - uBlock Origin filter list to hide YouTube Shorts
📊 Open source visualization dashboards for OpenSearch.
All parts of Claude Code's system prompt, 18 builtin tool descriptions, sub agent prompts (Plan/Explore/Task), utility prompts (CLAUDE.md, compact, statusline, magic docs, WebFetch, Bash cmd, secur…
The Ralph Wiggum Technique—the AI development methodology that reduces software costs to less than a fast food worker's wage.
Search engine benchmark (Tantivy, Lucene, PISA, ...)
llnl / Elemental
Forked from elemental/ElementalDistributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction
A framework for few-shot evaluation of language models.
robalexdev / blog-quest
Forked from tvler/streetpassCollect RSS feeds as you browse
TheGoodAI / AI_datasets
Forked from huggingface/datasets🤗 The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools
Sequential Decision Problem Modeling Library @ Castle Lab, Princeton Univ.
codelion / RouterArena
Forked from RouteWorks/RouterArenaRouterArena: An open framework for evaluating LLM routers with standardized datasets, metrics, an automated framework, and a live leaderboard.
Evaluation of BEIR Datasets using ColBERT retrieval model
Indiejayk8s / CodeIndexer
Forked from zilliztech/claude-contextAn open-source code indexing and search tool implemented with Milvus vector database and popular embedding models. You can build your AI Coding IDE or code search plugin with it.
RoseZhao / Deep-Contextualized-Term-Weighting-for-Ad-Hoc-Document-Retrieval
Forked from yuhongqian/11785-team-projectExamples from knowledge graphs tutorial paper
hasktorch / tokenizers
Forked from huggingface/tokenizers💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
A survey and reflection on the latest research breakthroughs in LLM-generated Text detection, including data, detectors, metrics, current issues and future directions.
A Python implementation of global optimization with gaussian processes.
codelion / marko
Forked from frostming/markoA markdown parser with high extensibility.
lovewln / llm-arxiv-daily
Forked from Vincentqyw/cv-arxiv-daily🎓Automatically Update CV Papers Daily using Github Actions (Update Every 12th hours)
Publications from Trail of Bits
contrebande-labs / fast-lucene
Forked from ChrisHegarty/luceneApache Lucene fork tracking experimental hardware acceleration contributions (Java Vector API, XLA, MLIR, etc.) and SOTA BM25/HNSW combination retrieval workflows.
A simple GUI for bristol stock exchange a minimal simulation of a limit order book financial exchange
Playwright MCP server with less snapshots.