Discover @adolfont Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Java

Elixir

C#

Swift

Go

F#

Crystal

Python

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Perl

C++

Nix

Go

JavaScript

R

Groovy

Jupyter Notebook

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇭🇳 Honduras

🇨🇻 Cabo Verde

🇳🇬 Nigeria

🇬🇭 Ghana

🇻🇳 Vietnam

🇧🇫 Burkina Faso

🇹🇱 Timor-Leste

🇧🇮 Burundi

All Countries Compare Countries

Adolfo Neto (@adolfont)

adolfont

Stars
243
Global Rank 105,633 (Top 4 %)
Followers 313
Following 240
Registered over 15 years ago
Most used languages

Elixir
27.8 %

Java
16.7 %

Python
11.1 %

HTML
11.1 %

Clojure
11.1 %

Shell
5.6 %

Smalltalk
5.6 %

Ruby
5.6 %

Lua
5.6 %
Location 🇧🇷 Brazil
Country Total Rank 1,578
Country Ranking

Smalltalk
8

Elixir
15

Clojure
184

Lua
890

Java
1,004

Ruby
1,744

HTML
2,071

Shell
3,919

Python
5,712

caes005-introduction-to-functional-programming

CAES005 - Introdução à Programação Funcional

brazilian-cs-research

Curated lists related to Brazilian Computer Science research and researchers

elixir_cop

The Elixir Community of Practice

Logicamente-UTFPR

A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.

KEMS

A KE-based Multi-Strategy Tableau Prover

pensandoemelixir

Pensando em Elixir

LearningProgramming

Learning Programming Languages

PPGCA

Informações Públicas sobre o PPGCA-CT UTFPR

podcast_es

computacaobrasil

C1-Prover-in-LISP

A tableau-based C1 prover originally written by Arthur Buchsbaum (UFSC)

Dojo-UTFPR

Coding Dojos at UTFPR

tableau

Implementation of Tableau Methods in Elixir

Util

Alguns utilitários

podcast_backuper

Podcast Backuper allows you to have private copies of any podcast that has a RSS

beam-videos

Logic-Dojo

Some tools for running Logic Dojos

techpodcastsbr

Listagem de podcasts ativos de tecnologia

JogoDaVelha

Exemplo de implementação bastante simplificada do Jogo da Velha em Ruby

MV-KEMS

KEMS for Multi-Valued Logics

extensao-computacao

Iniciativas de Extensão na Área de Computação

elixir_exercises

Exercises for my Sequential Elixir course

txt2tags_latex_tests

txt2tags_latex_tests

KEMS2

Second version of KEMS

Logic-in-Computing

Material for "Logic in Computing"

emilias-podcast

Emílias Podcast - O podcast do Programa de Extensão Emílias Armação em Bits da UTFPR Curitiba

caes001-agile-software-development

Agile Software Development at UTFPR

logic-in-lua

Small programs for Logic written in Lua

java-logic-package

A package for representing logical systems in Java