-
DAINF - UTFPR
- Curitiba, PR, Brazil
- http://adolfont.github.io
- https://orcid.org/0000-0002-0260-5922
- @adolfont.github.io
- @adolfoneto@bertha.social
- in/adolfont
- @adolfont
Highlights
- Pro
Lists (8)
Sort Name ascending (A-Z)
- All languages
- ActionScript
- Assembly
- Astro
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Common Lisp
- Cuda
- D
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Fortran
- GDScript
- Gleam
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Luau
- Makefile
- Markdown
- Nix
- OCaml
- Pascal
- Perl
- Pony
- Prolog
- Python
- R
- Racket
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smalltalk
- Swift
- TeX
- TypeScript
- UrWeb
- V
- Vue
- XSLT
- Zig
Starred repositories
Gleam-friendly types for some poweful Erlang/OTP behaviours (like gen_statem & gen_event)
Browse, save, and read arXiv papers by category, right from your phone.
JavaScript runtime for the BEAM — Web APIs backed by OTP, native DOM, and a built-in TypeScript toolchain.
binary releases of VS Code without MS branding/telemetry/licensing
Absurdly fast, 100% transparent, ACID persistence in under 100 lines of Clojure.
Slide deck for a talk @ UTFPR-Curitiba
Tutorial presented at CBSoft 2019 Brazil
A cognitive architecture for autonomous drone systems built on Elixir/OTP. Inspired by Soar, Clarion, and CST.
A Practical Guide to Agentic Coding — slide deck by Marlene Mhangami
[ASPLOS'26] Taming the Long-Tail: Efficient Reasoning RL Training with Adaptive Drafter
A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.
Faster Whisper transcription with CTranslate2
Final Work to Introduction functional programimg in UTFPR - PPGCA