- 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
- Processing
- 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
Sharp Monocular View Synthesis in Less Than a Second
GyoiThon is a growing penetration test tool using Machine Learning.
IsoCity: City building simulation game.
The repository provides code for running inference with the Meta Segment Anything Audio Model (SAM-Audio), links for downloading the trained model checkpoints, and example notebooks that show how t…
Curated list of useful LLM / Analytics / Datascience resources
An interactive Formula 1 race visualisation and data analysis tool built with Python! 🏎️
A LLM trained only on data from certain time periods to reduce modern bias
A curated list of PQC (Post Quantum Cryptography) resources
A high-throughput and memory-efficient inference and serving engine for LLMs
The library for web and native user interfaces.
Podman: A tool for managing OCI containers and pods.
OSS implementation of the TCG TPM2 Software Stack (TSS2)
Go packages built on go-tpm providing a high-level API for using TPMs
Libtpms-based TPM emulator with socket, character device, and Linux CUSE interface.
Go library and CLI to get your Public IP via STUN, DNS or HTTP.
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"