foxx3r

followers

following

stars

Foxxer's repositories

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.

MIT24 40

amazing-vimrc

repositorio com um init.vim (que pode servir como .vimrc tambem) para desenvolvedores que usam VIM/neovim

Language:Vim scriptMIT9 30

python_interpreter

This is a python interpreter made in Haskell

Language:HaskellBSD-3-Clause4 20

context_free_grammars

That is a script about the concept context free grammars in Prolog

Language:PrologMIT3 20

markov-chatbot

The source code of the chatbot @veriskobot on Telegram using markov chain.

Language:RustMIT3 20

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

Language:Python3 20

nodejs-tutorial

Um tutorial criando uma aplicacao web e uma API em NodeJS

Language:JavaScript3 20

base12_calculator

A simple base-12 calculator

Language:Python2 20

definite_clause_grammars

A script based on the concept DCG (Definite Clause Grammars).

Language:PrologMIT2 20

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

Language:PrologMIT2 20

my_zsh_config

It's a repository for storing my oh-my-zsh configuration

Language:ShellMIT2 20

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

Language:HaskellMIT2 20

agda_tasks

Some tasks done in Agda

Language:AgdaMIT1 20

auto_install

I've been working on a script of automation (because I hate changing system and doing it again) recently. So... Here is

Language:ShellMIT1 20

awesome_spacemacs

It's a repository that I'll use to keep my spacemacs config

Language:Emacs LispMIT1 20

dependent_types_haskell

I've made a simple example of singleton types in Haskell (that simulates dependent types)

Language:HaskellMIT1 20

dotfiles

This is my (.) files

Language:Emacs Lisp1 20

evolve_lisp

An evolve simulator in LISP

Language:Common LispMIT1 20

FeirasChallenge

This is a challenge made by Fernando (hmm, I'd say that he's almost my boss xD), hope you like

Language:PythonMIT1 20

learning_sicp

That's all my learning/progress while I'm still learning/reading SICP (Structure and Interpretation of Computer Programs)

Language:SchemeMIT1 20

linear_iterative_process_problems_in_fsharp

This repository is to present my solution for common recursive algorithms (like fibonacci 'nd factorial)

Language:F#MIT1 20

liquidPy

My experiment on adding refinement types and dependent types to Python

Language:Python1 10

PSND_project

o projeto PSND é um antigo projeto abandonado de um aplicativo móvel e web para contratação de serviços. Agora estou usando para construir meu site

Language:JavaScriptMIT1 20

scalar_multiplication

That's my resolution to the scalar multiplication's challenge in Prolog

Language:PrologMIT1 20

data_types_lisp

That's just my learning about data types in LISP

Language:Common LispMIT020

email_validator

This is an email validator written in Java

Language:JavaMIT020

family_tree_datalog

This is a family tree in racket using datalog + S-expressions

Language:RacketMIT020

learning_group_theory

All my learning about abstract algebra and Galois/K theory.

020

php-programming-best-practices

Referencia para los desarrolladores de Tiendanube y para la comunidad de PHP.

010

rust-book-pt-br

A Linguagem de Programação Rust

Language:RustNOASSERTION010