-
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
📚 Freely available programming books
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…
An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of…
Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!
Google Chromium, sans integration with Google
Faster Whisper transcription with CTranslate2
"AutoAgent: Fully-Automated and Zero-Code LLM Agent Framework"
A self-hosted open source photo management service.
Reverse Engineering: Decompiling Binary Code with Large Language Models
Lista de eventos tech que acontecem no Brasil
Simple, elegant, Pythonic functional programming.
AutoKey, a desktop automation utility for Linux and X11.
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with…
Repositório das lives de python semanais
UQLM: Uncertainty Quantification for Language Models, is a Python package for UQ-based LLM hallucination detection
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
Erlang node implemented in Python 3.5+ (Asyncio-based)
Qualitative data analysis for text, images, audio, video. Cross platform. Python 3.10 or newer and PyQt6.
The first open Federated Learning framework implemented in C++ and Python.
Baixa as planilhas de salários de magistrados, extrai os contracheques, limpa e exporta pra CSV
A Python-based AI-enhanced low-code open-source platform for smart software development
[ASPLOS'26] Taming the Long-Tail: Efficient Reasoning RL Training with Adaptive Drafter
A Machine-to-Machine Interaction System for Lean 4.