- 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
- jq
Ghidra is a software reverse engineering (SRE) framework
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Git Server with CI/CD, Kanban, and Packages. Seamless integration. Unparalleled experience.
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases
[NeoForge Mod] Building Tools and Aesthetic Technology
A solution for streaming H.264, H.263, AMR, AAC using RTP on Android
Compiles Java bytecode to JavaScript, WebAssembly and C
Quickly find differences and similarities in disassembled code
jOOR - Fluent Reflection in Java jOOR is a very simple fluent API that gives access to your Java Class structures in a more intuitive way. The JDK's reflection APIs are hard and verbose to use. Ot…
The modern, next-generation Minecraft server proxy.
A fast, customizable and compatible open source server for Minecraft: Java Edition
A powerful and funny android app. that streams the camera and microphone of your phone to your browser or to VLC
Desktop Bitcoin Wallet focused on security and privacy. Free and open source.
Minecraft Forge Hybrid server implementing the Spigot/Bukkit API, formerly known as Thermos/Cauldron/MCPC+
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
A web clone of the card game Cards Against Humanity.