- Matosinhos, Portugal
- https://tcarvalho.dev
- https://gandas.us.to/keys/trust.csv
Stars
- All languages
- Ada
- Assembly
- AutoHotkey
- Batchfile
- BlitzMax
- C
- C#
- C++
- C3
- CMake
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Flix
- Fluent
- Forth
- GLSL
- Go
- HTML
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Marko
- Mercury
- Meson
- Nim
- Nix
- Noir
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenSCAD
- PHP
- Perl
- Pony
- Prolog
- Python
- QuakeC
- Racket
- ReScript
- Reason
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Solidity
- SourcePawn
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Text
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Xmake
- YAML
- Yacc
- ZenScript
- Zig
- eC
- jq
Lock free, arena-backed skip list memtable for LSM storage engines.
Use Cursor Pro models in OpenCode via HTTP proxy with OAuth
Generate a color palette from an image using k-means clustering in the Oklab color space.
Claude Code skill for sending verified memes to Slack — manual or scheduled (random meme delivery bot)
PrismML-Eng / llama.cpp
Forked from ggml-org/llama.cppLLM inference in C/C++
LLM inference in C/C++ with changes from Prism-ML to support 1Bit models
a16z / arkworks-algebra
Forked from arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Windows/macOS/Linux GUI client for GIT users
Diesel ORM backend for libSQL (Turso) — local, remote, replicas, async, OpenTelemetry
Turso is an in-process SQL database, compatible with SQLite.
Completion-based I/O for Rust. No runtime, no hidden tasks.
A curated list of resources about post-quantum cryptography.
An execution engine for Wireshark-like filters
Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis
Rust implementation of the current leanSig proposal.
Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…
“Zero setup” cross compilation and “cross testing” of Rust crates
simple, fast and efficient s3 client for bucket operations