- Matosinhos, Portugal
- https://tcarvalho.dev
- https://gandas.us.to/keys/trust.csv
Stars
- All languages
- Ada
- Assembly
- Batchfile
- BlitzMax
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Forth
- GLSL
- Go
- HTML
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Marko
- Mercury
- Meson
- Nim
- Nix
- Noir
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenSCAD
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Reason
- Red
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Solidity
- SourcePawn
- Standard ML
- Svelte
- Swift
- TLA
- Tcl
- TeX
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Xmake
- YAML
- Yacc
- ZenScript
- Zig
- jq
GDB TUI Dashboard for the understanding of vast knowledge
Handle TrapFrame across kernel and user space on multiple ISAs.
Source code for "Building Cryptographic Proofs from Hash Functions"
Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
Rust const and no_std reflection — the last derive you'll ever need
A fast non-blocking HTTP server on top of libev
Jujutsu UI (jjui) is a Text User Interface (TUI) designed for interacting with the Jujutsu version control system.
Original source code for Impulse Tracker, a music tracker for DOS
A decompilation and port of Sonic Advance 2 - a GameBoy Advance game written in C
Platform that enables Windows driver development in Rust. Developed by Surface.
The Grimoire Hypervisor solution for x86 Processors with experimental nested virtualization support. Remastering with Rust in progress.
A minimalistic educational hypervisor for Windows on AMD processors.
Software CAN bus implementation for rp2040 micro-controllers
SrGesus / ferrugem
Forked from bnjbvr/rouilleRust programming, in Portuguese.
SwiftNIO SSH is a programmatic implementation of SSH using SwiftNIO
Open Source Alternative to Vercel, Netlify and Heroku.
Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc
The 2013 edition of the Source SDK
Betterbird is a fork of Mozilla Thunderbird. Here are the patches that provide all the goodness.
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Rust bindings fo the Apple Silicon Hypervisor.framework