foxx3r
academic student, loves functional programming and development of interpreters (AKA theory of computation), and also am a Linuxer I use arch and gentoo btw
Pinned Repositories
amazing-vimrc
repositorio com um init.vim (que pode servir como .vimrc tambem) para desenvolvedores que usam VIM/neovim
context_free_grammars
That is a script about the concept context free grammars in Prolog
definite_clause_grammars
A script based on the concept DCG (Definite Clause Grammars).
dependent_types_haskell
I've made a simple example of singleton types in Haskell (that simulates dependent types)
FPAboveUs
Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
graphs_in_haskell
I created a haskell graph (data structure) that returns the adjacent nodes
learn_rust
This is the repository I will use to store the files and all my progress learning Rust. I will practice even more
learning_sicp
That's all my learning/progress while I'm still learning/reading SICP (Structure and Interpretation of Computer Programs)
markov-chatbot
The source code of the chatbot @veriskobot on Telegram using markov chain.
python_interpreter
This is a python interpreter made in Haskell
foxx3r's Repositories
foxx3r/FPAboveUs
Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
foxx3r/amazing-vimrc
repositorio com um init.vim (que pode servir como .vimrc tambem) para desenvolvedores que usam VIM/neovim
foxx3r/python_interpreter
This is a python interpreter made in Haskell
foxx3r/context_free_grammars
That is a script about the concept context free grammars in Prolog
foxx3r/markov-chatbot
The source code of the chatbot @veriskobot on Telegram using markov chain.
foxx3r/math_trashs
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
foxx3r/nodejs-tutorial
Um tutorial criando uma aplicacao web e uma API em NodeJS
foxx3r/base12_calculator
A simple base-12 calculator
foxx3r/definite_clause_grammars
A script based on the concept DCG (Definite Clause Grammars).
foxx3r/genealogy_prolog
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
foxx3r/my_zsh_config
It's a repository for storing my oh-my-zsh configuration
foxx3r/what_i_wish_exercises
This is the repository I'll use to keep the exercises of what I wish I knew when learning Haskell of Stephen
foxx3r/agda_tasks
Some tasks done in Agda
foxx3r/auto_install
I've been working on a script of automation (because I hate changing system and doing it again) recently. So... Here is
foxx3r/awesome_spacemacs
It's a repository that I'll use to keep my spacemacs config
foxx3r/dependent_types_haskell
I've made a simple example of singleton types in Haskell (that simulates dependent types)
foxx3r/dotfiles
This is my (.) files
foxx3r/evolve_lisp
An evolve simulator in LISP
foxx3r/FeirasChallenge
This is a challenge made by Fernando (hmm, I'd say that he's almost my boss xD), hope you like
foxx3r/learning_sicp
That's all my learning/progress while I'm still learning/reading SICP (Structure and Interpretation of Computer Programs)
foxx3r/linear_iterative_process_problems_in_fsharp
This repository is to present my solution for common recursive algorithms (like fibonacci 'nd factorial)
foxx3r/liquidPy
My experiment on adding refinement types and dependent types to Python
foxx3r/scalar_multiplication
That's my resolution to the scalar multiplication's challenge in Prolog
foxx3r/data_types_lisp
That's just my learning about data types in LISP
foxx3r/email_validator
This is an email validator written in Java
foxx3r/family_tree_datalog
This is a family tree in racket using datalog + S-expressions
foxx3r/learning_group_theory
All my learning about abstract algebra and Galois/K theory.
foxx3r/orc_battle
that's a game in LISP that is a medieval simulator, with a lot of foes
foxx3r/php-programming-best-practices
Referencia para los desarrolladores de Tiendanube y para la comunidad de PHP.
foxx3r/rust-book-pt-br
A Linguagem de Programação Rust