- 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
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 portable and fast pairing-based cryptography library
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
Minimal zkVM, targeting aggregation of hash-based signatures.
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
An Operating System for Z80 computers, written in assembly
relational database stored 100% in a discord guild built with go