- Spain
Lists (3)
Sort Name ascending (A-Z)
- All languages
- AGS Script
- Ada
- Arduino
- Assembly
- Bikeshed
- Boogie
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- F*
- Fortran
- Gnuplot
- Go
- HCL
- HTML
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Meson
- OCaml
- Objective-C
- OpenQASM
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Pug
- PureScript
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SCSS
- SVG
- Sage
- Sass
- Scala
- Shell
- Solidity
- Stylus
- Svelte
- Swift
- TeX
- Toit
- TypeScript
- Typst
- V
- Vue
- WebAssembly
- Zig
- eC
Starred repositories
A Fast, Modular, and Scalable TLS/SSL Security Scanner Written in Rust
Artifacts for the ACM CCS 2025 paper "Pixnapping: Bringing Pixel Stealing out of the Stone Age"
Code for ICCV'2025 "Real3D: Scaling Up Large Reconstruction Models with Real-World Images"
Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Easily manage your Caddy2 servers using a modern web-UI, built on the MEVN stack.
An extremely fast Python linter and code formatter, written in Rust.
[T-PAMI 2025] V3D: Video Diffusion Models are Effective 3D Generators
Catalog of official Microsoft MCP (Model Context Protocol) server implementations for AI-powered data access and tool integration
Local Deep Research achieves ~95% on SimpleQA benchmark (tested with GPT-4.1-mini). Supports local and cloud LLMs (Ollama, Google, Anthropic, ...). Searches 10+ sources - arXiv, PubMed, web, and yo…
ChatGPT CLI is a versatile tool for interacting with LLMs through OpenAI, Azure, and other popular providers like Perplexity AI and Llama. It supports prompt files, history tracking, and live data …
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
a bad computer algebra system. Don't use it. It's bad. Very bad.
liboqs-java is an open source Java wrapper for the liboqs C library. The Open Quantum Safe (OQS) project provides software for prototyping quantum-resistant cryptography.
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
Open standard for machine learning interoperability
A Git-compatible VCS that is both simple and powerful
Turn any webpage/Vue/React and so on into desktop and mobile app under 5M with easy in few minutes. 轻松将任意网站/Vue/React等项目构建为轻量级(小于5M)多端桌面应用和手机应用仅需几分钟. https://ppofficial.netlify.app
Web Cryptography API Examples Demo: https://diafygi.github.io/webcrypto-examples/
Reserve codepoints for pure MLKEM algorithms in SSH