- São Paulo - Brazil
- https://pedrohlc.com/Curriculum_Vitae.pdf
- in/pedrohlc
Highlights
- Pro
Stars
- All languages
- ASL
- ATS
- Adblock Filter List
- Assembly
- Awk
- Batchfile
- Bikeshed
- BitBake
- Bluespec
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Common Workflow Language
- Crystal
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- Fluent
- Forth
- GDScript
- GLSL
- Go
- HLSL
- HTML
- Hack
- Haskell
- Haxe
- HiveQL
- Idris
- JSON
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Logos
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Meson
- Monkey C
- MoonScript
- Nim
- Nix
- Nu
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Ren'Py
- Roc
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Slang
- Smarty
- SourcePawn
- Squirrel
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WGSL
- WebAssembly
- XSLT
- YARA
- Zig
- q
Additional software that is not (yet or already) included in NixOS.
Nix binary cache backed by the GitHub Actions cache: zero setup, deduplicated uploads, automatic GC (beta)
Opensource firmware for NRF52840 Pro Micro that copycats the Steam Controller 2 Puck and adds an Xbox and Switch mode
Nix Flake to make managing Single Board Computers easy and repeatable.
agent multiplexer that lives in your terminal.
A literal credit-card sized computer with E-Paper display, ESP32 and NFC.
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
jonhermansen / darnix
Forked from blacktop/darwin-xnu-buildDarwin system built with Nix
A robust GNOME clipboard manager with a Rust daemon backend
Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.
OptiScaler bridges upscaling/frame gen across GPUs. Supports DLSS2+/XeSS/FSR2+ inputs, replaces native upscalers, enables FSR-FG/XeFG on non-FG titles. Supports Nukem mod for DLSSG-to-FSR3 FG.
Vulkan layer for hardware agnostic input latency reduction
Self-hosted Docker web app for browsing, playing & practicing interactive full-band music notation, with an extensive plugin system
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
Modern/Re-Implemented Patches and Scripts for the Xbox Dashboard #5960
A port of Johnny Castaway to PS1, originally based on jc_reborn, but memory constraints required a new direction
huntergdavis / jc_reborn
Forked from jno6809/jc_rebornAn open-source engine for the classic "Johnny Castaway" screensaver, written in C and libSDL2
GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!
SISR (Steam Input System Redirector; pronounced "scissor") is a tool that allows users to redirect Steam Input configurations to a system level, either on localhost or even over the network.
Automated jailbreak and linux loader for the PS5 utilizing Luckfox SBCs
Linux payload implementing HV exploits to run a custom bootloader
Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).
High performance wlroots screen recording, featuring hardware encoding
Free and Open Source (FOSS) preservation effort and rewrite of the iconic Civilization Game designed by Sid Meier and Bruce Shelley in year 1991