-
Stars9
-
Rank 1,929,018 (Top 39 %)
-
LanguageVim Script
-
License
MIT License -
Created almost 5 years ago
-
Updated over 3 years ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
repositorio com um init.vim (que pode servir como .vimrc tambem) para desenvolvedores que usam VIM/neovim
More Repositories
1
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.
24
2
python_interpreter
This is a python interpreter made in HaskellHaskell
4
3
markov-chatbot
The source code of the chatbot @veriskobot on Telegram using markov chain.Rust
3
4
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 checkPython
3
5
nodejs-tutorial
Um tutorial criando uma aplicacao web e uma API em NodeJSJavaScript
3
6
context_free_grammars
That is a script about the concept context free grammars in PrologProlog
3
7
py_linux
i am creating a linux emulator with fully virtual resources in pythonPython
2
8
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 StephenHaskell
2
9
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 functionProlog
2
10
base12_calculator
A simple base-12 calculatorPython
2
11
my_zsh_config
It's a repository for storing my oh-my-zsh configurationShell
2
12
definite_clause_grammars
A script based on the concept DCG (Definite Clause Grammars).Prolog
2
13
grand-theft-wumpus
That's a game like GTA, it's based on game "Hunt the Wumpus".Common Lisp
1
14
faker-api
aplicação feita sob uma API em NodeJS que gera dados falsos para sua aplicaçãoHTML
1
15
apt_fox
Gerenciamento de pacotes no Linux para iniciantesShell
1
16
agda_tasks
Some tasks done in Agda
Agda
1
17
scalar_multiplication
That's my resolution to the scalar multiplication's challenge in PrologProlog
1
18
josephus_problem_haskell
The Josephus problem calculator in HaskellHaskell
1
19
evolve_lisp
An evolve simulator in LISPCommon Lisp
1
20
dependent_types_haskell
I've made a simple example of singleton types in Haskell (that simulates dependent types)Haskell
1
21
learn_cpp
This is all my progress while learning C++C++
1
22
dotfiles
This is my (.) filesEmacs Lisp
1
23
linear_iterative_process_problems_in_fsharp
This repository is to present my solution for common recursive algorithms (like fibonacci 'nd factorial)F#
1
24
game_random_haskell
A simple game that you have to guess the numberHaskell
1
25
learn_v
Vlang is a language that's as fast as C, and it's very simple
V
1
26
FeirasChallenge
This is a challenge made by Fernando (hmm, I'd say that he's almost my boss xD), hope you likePython
1
27
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)Python
1
28
auto_install
I've been working on a script of automation (because I hate changing system and doing it again) recently. So... Here isShell
1
29
DKcont
MEU USER DO TELEGRAN ( https://t.me/DkSecurity10 )Python
1
30
comparador-de-hashs
Compare as hashs de seus arquivos e descubra se foram modificadosShell
1
31
awesome_spacemacs
It's a repository that I'll use to keep my spacemacs configEmacs Lisp
1
32
binary_tree_haskell
I created a binary tree (a data structure) using haskell language programmingHaskell
1
33
learning_sicp
That's all my learning/progress while I'm still learning/reading SICP (Structure and Interpretation of Computer Programs)Scheme
1
34
liquidPy
My experiment on adding refinement types and dependent types to PythonPython
1
35
translator-py
Um projeto feito em Python usando uma API aparentemente já abandonada do Google Tradutor.Python
1