-
Brazilian Public Prosecutor's Office
- Brasilia, Brazil
- https://faustocarva.github.io/
- in/faustocarva
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Cuda
- Dafny
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Mojo
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- Python
- R
- Rascal
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Stata
- TeX
- TypeScript
- V
- WebAssembly
- Xtend
- Yacc
Papers from the computer science community to read and discuss.
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
π A collection of pure bash alternatives to external processes.
π Amazon Web Services β a practical guide
π§ .files, including ~/.macos β sensible hacker defaults for macOS
πΌοΈ A command-line system information tool written in bash 3.2+
Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ππ©·ππ€β€οΈπ€
π₯ A curated list of Terminal frameworks, plugins & resources for CLI lovers.
Persists tmux environment across system restarts.
OSS-Fuzz - continuous fuzzing for open source software.
Official source of container configurations, images, and examples for Oracle products and projects
Vagrant projects for Oracle products and other examples
bash unit testing enterprise edition framework for professionals
A command-line interface for LLMs written in Bash.
Funçáes ZZ β 180+ aplicativos para a linha de comando do Linux, Mac e Cygwin
Shell script to run OpenRefine in batch mode (import, transform, export). It orchestrates OpenRefine (server) and a python client that communicates with the OpenRefine API.
A yet another Ubuntu/Debian-specific tool that makes switching between multiple JDK versions a one liner
Docker container for quickly analyzing Linux malware
Spring Boot Flyway Database Migration Example
Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
Various examples of code and scripts to manage DSpace repositories