foxx3r/liquidPy

Stars
1
Language
Python
Created over 3 years ago
Updated about 4 years ago

foxx3r/liquidPy

foxx3r

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My experiment on adding refinement types and dependent types to Python

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)

translator-py

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