foxx3r Goto Github PK

followers: 50.0 following: 29.0 repos: 61.0 gists: 0.0

Name: Foxxer

Type: User

Bio: academic student, loves functional programming and development of interpreters (AKA theory of computation), and also am a Linuxer I use arch and gentoo btw

Foxxer's Projects

amazing-vimrc

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

# ap_haskell I've just made an algorithm that calculates AP (Arithmetic Progression), it was made in haskell. A curious fact is that, I've created that algorithm to be helpful for me while learning F# and Haskell

api_with_sequelize

I created an API with Sequelize and SQLite.

apt_fox

Gerenciamento de pacotes no Linux para iniciantes

auto_install

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

awesome_spacemacs

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

base12_calculator

A simple base-12 calculator

binary_search_haskell

A binary search in Haskell

binary_tree_haskell

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

calculator_in_rust

Calculator made in rust.

comparador-de-hashs

Compare as hashs de seus arquivos e descubra se foram modificados

context_free_grammars

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

data_types_lisp

That's just my learning about data types in LISP

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)

dkcont

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

dotfiles

This is my (.) files

email_validator

This is an email validator written in Java

evolve_lisp

An evolve simulator in LISP

faker-api

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

family_tree_datalog

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

feiraschallenge

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

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.

game_random_haskell

A simple game that you have to guess the number

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

grand-theft-wumpus

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

graphs_dot_lisp

that's a graph made in LISP, using graphviz

graphs_in_haskell

I created a haskell graph (data structure) that returns the adjacent nodes

josephus_problem_haskell

The Josephus problem calculator in Haskell

foxx3r Goto Github PK

Foxxer's Projects

Recommend Projects

Recommend Topics

Recommend Org