-
amazing-vimrc Public
repositorio com um init.vim (que pode servir como .vimrc tambem) para desenvolvedores que usam VIM/neovim
-
base12_calculator Public
< 8000 div class="f6 color-fg-muted mt-2" > Python 2 UpdatedA simple base-12 calculator
Mar 17, 2021
learning_group_theory Public
All my learning about abstract algebra and Galois/K theory.
math_trashs Public
this is just a simple repository that I will use to keep my mathematical trashes, or translating, hang around and get out of boredom. I'm gonna give the complex stuff a rain check
FeirasChallenge Public
This is a challenge made by Fernando (hmm, I'd say that he's almost my boss xD), hope you like
liquidPy Public
My experiment on adding refinement types and dependent types to Python
php-programming-best-practices Public
Forked from TiendaNube/php-programming-best-practicesReferencia para los desarrolladores de Tiendanube y para la comunidad de PHP.
nodejs-tutorial Public
Um tutorial criando uma aplicacao web e uma API em NodeJS
FPAboveUs Public
Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
python_interpreter Public
This is a python interpreter made in Haskell
rust-book-pt-br Public
Forked from rust-br/rust-book-pt-brA Linguagem de Programação Rust
markov-chatbot Public
The source code of the chatbot @veriskobot on Telegram using markov chain.
dependent_types_haskell Public
I've made a simple example of singleton types in Haskell (that simulates dependent types)
what_i_wish_exercises Public
This is the repository I'll use to keep the exercises of what I wish I knew when learning Haskell of Stephen
auto_install Public
I've been working on a script of automation (because I hate changing system and doing it again) recently. So... Here is
email_validator Public
This is an email validator written in Java
my_zsh_config Public
It's a repository for storing my oh-my-zsh configuration
awesome_spacemacs Public
It's a repository that I'll use to keep my spacemacs config
This repository is to present my solution for common recursive algorithms (like fibonacci 'nd factorial)
definite_clause_grammars Public
A script based on the concept DCG (Definite Clause Grammars).
context_free_grammars Public
That is a script about the concept context free grammars in Prolog
learning_sicp Public
That's all my learning/progress while I'm still learning/reading SICP (Structure and Interpretation of Computer Programs)
scalar_multiplication Public
That's my resolution to the scalar multiplication's challenge in Prolog
genealogy_prolog Public
This is a project of genealogy in Prolog. It is a replacement of the genealogy made in datalog, 'cause it was giving me an error about unsafe function
family_tree_datalog Public
This is a family tree in racket using datalog + S-expressions
data_types_lisp Public
That's just my learning about data types in LISP
orc_battle Public
that's a game in LISP that is a medieval simulator, with a lot of foes