-
INF71A_Computacao1 Public
Código da disciplina INF71A Computação 1 da UTFPR Curitiba
-
delegua-web Public
Forked from DesignLiquido/delegua-webEditor Web capaz de interpretar código em Delégua.
JavaScript MIT License UpdatedApr 8, 2026 -
CAES005 - Introdução à Programação Funcional
-
utfpr_tictactoe Public
A variation of the Tic Tac Toe game
-
-
brazilian-cs-research Public
Curated lists related to Brazilian Computer Science research and researchers
-
-
-
-
-
-
-
-
-
learning-lean Public
A few programs and projects I write while learning the Lean programming language
-
-
pensandoemelixir Public
Pensando em Elixir
-
-
gpotion Public
Forked from ardubois/gpotionGPotion: a DSL for GPU programming in Elixir
Elixir UpdatedNov 7, 2024 -
laf Public
Forked from joisino/lafCode for "Training-free Graph Neural Networks and the Power of Labels as Features" (TMLR 2024)
Python MIT License UpdatedAug 15, 2024 -
masters-of-elixir Public
Forked from abreujp/masters-of-elixirA comprehensive collection of resources for mastering Elixir.
1 UpdatedJun 10, 2024 -
eventos-tech-brasil Public
Forked from agenda-tech-brasil/agenda-tech-brasilLista de eventos tech que acontecem no Brasil
UpdatedApr 18, 2024 -
-
CAES001 - Agile Software Development at UTFPR
-
LogicCircuitGame Public
Forked from 4ntFer/LogicCircuitGameUm jogo WEB de circuitos lógicos para o ensino de pensamento computacional
JavaScript UpdatedMar 13, 2024 -
eigr.github.io Public
Forked from eigr/eigr.github.ioThe https://eigr.io website
-
fp-lean Public
Forked from leanprover/fp-leanFunctional Programming in Lean
JavaScript Other UpdatedNov 30, 2023 -
Learn4Elixir Public
Forked from Universidade-Livre/Learn4ElixirAprenda Elixir em 4 Pull Requests!
Mozilla Public License 2.0 UpdatedOct 5, 2023 -
rinha_lean_sofia_gabi Public
Forked from aripiprazole/rinha🧪 | Rinha de Backend Lean4
Lean UpdatedSep 12, 2023 -
Logicamente-UTFPR Public
A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
{{ message }}