- All languages
- Agda
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Elm
- Emacs Lisp
- F#
- Flix
- FreeMarker
- GDScript
- Go
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Mercury
- Nim
- Nix
- OCaml
- Oz
- PHP
- PowerShell
- PureScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- Yacc
- Zig
Starred repositories
Build your personal knowledge base with Trilium Notes
Tool to bruteforce Word, Excel, and PowerPoint office document passwords
Tech Learning Collective's public Web site.
🐧 A pretty system information tool written in POSIX sh.
Impersonating authentication over HTTP and/or named pipes.
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
Readings and notes on the past, present, and future of books
Finished Book of Monads by Alejandro Serrano-Mena
Working through the Thinking with Types book in Haskell
Working through the book "Elm in Action" by Richard Feldman
Working through https://leanpub.com/optics-by-example by Chris Penner
Slides disciplina Tópicos Avançados II (Programação Funcional)
Monitor linux processes without root permissions
Linux enumeration tool for pentesting and CTFs with verbosity levels
Ray-traced cover of Pink Floyd's "Dark Side of the Moon"
An uroboros program with 100+ programming languages
Take security by obscurity to the next level (this is a bad idea, don't really use this please)
The tools used with my "A dive into the world of MS-DOS viruses" talk