- 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
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Marko
- Mercury
- Meson
- Nim
- Nix
- 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
- YAML
- Yacc
- ZenScript
- Zig
- jq
japaric / syscall.rs
Forked from ebfe/syscall.rsRaw system calls for Rust
AleoNet / aleo-setup
Forked from celo-org/snark-setupA Setup Ceremony for Universal SNARKs
serde_json for Wasm programs (small, deterministic, no floats)
A pure-Rust implementation of group operations on Ristretto and Curve25519
eqlabs / bullshark-bft
Forked from MystenLabs/suiNarwhal + Bullshark BFT
wvwwvwwv / conc-map-bench
Forked from xacrimon/conc-map-benchTest scc::HashIndex and scc::HashMap performance
astral-sh / pubgrub
Forked from pubgrub-rs/pubgrubPubGrub version solving algorithm implemented in Rust
zkcrypto / subtle-ng
Forked from dalek-cryptography/subtlePure-Rust traits and utilities for constant-time cryptographic implementations.
Generate Java Virtual Machine .class files from Rust.
A crate for uploading files to Google cloud storage, and for generating download urls.
romac / libp2p-scatter
Forked from tthebst/libp2p-broadcastBroadcast messages to connected peers