- 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
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, GitHub Copilot CLI, OpenClaw, Factory Droid, Trae, Google Antigravity). Turn any folder of code, docs, papers, images, oβ¦
β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
Forth VM and statically-typed s-expression compiler, written in C++ and Scryer Prolog
Zig INferenCe Engine β Local LLM inference on AMD GPUs and Apple Silicon
SIMD Vectorized implementation of X25519, Ed25519, X448 and Ed448
Deep ghidra decompiler and sleigh disassembler integration for rizin
BullshitBench measures whether AI models challenge nonsensical prompts instead of confidently answering them, created by Peter Gostev.
Oko is an open-source embedded wallet stack that provides passwordless crypto experience via multi-party computation
golangci / golines
Forked from segmentio/golinesA golang formatter that fixes long lines
L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
equilibriumco / namada
Forked from namada-net/namadaRust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Relic-based wrapper for Rust providing BLS12-381
Pure Rust implementation of the post-quantum secure digital signature scheme FAEST
A Go implementation of the quantum-resistant key encapsulation method ML-KEM (formerly known as Kyber).
πππ next generation token approvals mechanism
The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.