Gabriel Araújo's repositories
git-bump-version
A git tool to keep a changelog
ad-hoc-parse-tables
Utilitário Ad-hoc para parsear tabelas de um arquivo docx que é fonte de um livro
clipboard
A browser clipboard experiment
cloudevents-sdk-rust
Rust library to interact with CloudEvents
galo-parse-meta
Ad-hoc bin to generate a hugo page from metadata generated by a latex project
go-trunk-flow-server
HTTP server writen in go that follows trunk flow
hello-world-javascript-action
Hello world github actions
hugo-theme-minos
A simple and retro styled Hugo theme ported from Hexo
Kooha
Elegantly record your screen
model-checker
Clone of git://demsky.eecs.uci.edu/model-checker.git
model-checker-benchmarks
Fork of git://demsky.eecs.uci.edu/model-checker-benchmarks.git
node-ffi-napi
A foreign function interface (FFI) for Node.js, N-API style
oxide-auth
A OAuth2 server library, for use in combination with actix or other frontends, featuring a set of configurable and pluggable backends.
parking-calculator
Parking calculator testing discipline project
parse-references
Some tools to parse and fix references
rngmap-rs
Simple implementation of a range map using intrusive-collections
rust-out-of-tree-module
Basic template for an out-of-tree Linux kernel module written in Rust.
rust_ngram_iter
An iterator of arbitrary N-grams of rust Copy types
sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
serde-json
Strongly typed JSON library for Rust
tokio-uring
An io_uring backed runtime for Rust
typst
A new markup-based typesetting system that is powerful and easy to learn.
vscode-oniguruma
Oniguruma Bindings for VS Code