- 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
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
A container type for storing dynamically-sized types inline.
Rust support libraries for context-generic programming
⚓ A collection of JavaScript tools written in Rust.
More files per file: hide files by storing them in the metadata of other files
The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using Rust. Powered by Automata
Reference implementation for the peer-to-peer agent that manages the Stellar network.
A language with lexical effect handlers and lightweight effect polymorphism
A build-time information stored in your rust project.(binary,lib,cdylib,dylib,wasm)
Empowering everyone to host fast and efficient Minecraft servers.
Pure Rust implementation of FIPS 204 Module-Lattice-Based Digital Signature Standard for server, desktop, browser and embedded applications.
A TUI editor for managing unstaged and staged Git diffs
Educational blog posts for Rust beginners
A browser extension for academic papers