Discover @foxx3r Open Source projects

Foxxer (@foxx3r)

foxx3r

Stars
84
Global Rank 235,692 (Top 9 %)
Followers 51
Following 29
Registered over 5 years ago
Most used languages

Python
22.9 %

Haskell
17.1 %

Prolog
11.4 %

Shell
11.4 %

Common Lisp
5.7 %

Emacs Lisp
5.7 %

Vim Script
2.9 %

JavaScript
2.9 %

C++
2.9 %

HTML
2.9 %

Scheme
2.9 %

F#
2.9 %

V 2.9 %

Rust
2.9 %

Agda 2.9 %

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.

amazing-vimrc

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

python_interpreter

This is a python interpreter made in Haskell

markov-chatbot

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

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

nodejs-tutorial

Um tutorial criando uma aplicacao web e uma API em NodeJS

context_free_grammars

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

py_linux

i am creating a linux emulator with fully virtual resources in python

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

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

base12_calculator

A simple base-12 calculator

my_zsh_config

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

definite_clause_grammars

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

grand-theft-wumpus

That's a game like GTA, it's based on game "Hunt the Wumpus".

faker-api

aplicação feita sob uma API em NodeJS que gera dados falsos para sua aplicação

agda_tasks

Some tasks done in Agda

apt_fox

Gerenciamento de pacotes no Linux para iniciantes

scalar_multiplication

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

josephus_problem_haskell

The Josephus problem calculator in Haskell

dependent_types_haskell

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

evolve_lisp

An evolve simulator in LISP

learn_cpp

This is all my progress while learning C++

dotfiles

This is my (.) files

linear_iterative_process_problems_in_fsharp

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

game_random_haskell

A simple game that you have to guess the number

learn_v

Vlang is a language that's as fast as C, and it's very simple

FeirasChallenge

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

learn-db

Aprenda banco de dados MySQL básico ;-) (o arquivo original está em .pyc para melhores performances, caso queira ver o código-fonte ele será baixado junto do arquivo principal, mas começa com um "." que significa que ele está oculto)

auto_install

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

DKcont

MEU USER DO TELEGRAN ( https://t.me/DkSecurity10 )

comparador-de-hashs

Compare as hashs de seus arquivos e descubra se foram modificados

awesome_spacemacs

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

binary_tree_haskell

I created a binary tree (a data structure) using haskell language programming

learning_sicp

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

liquidPy

My experiment on adding refinement types and dependent types to Python

translator-py

Um projeto feito em Python usando uma API aparentemente já abandonada do Google Tradutor.