Pavel Atanasov (reo101)

reo101

Geek Repo

Company:@Limechain

Location:Sofia, Bulgaria

Github PK Tool:Github PK Tool

Pavel Atanasov's repositories

reovim

My neovim configuration

Language:FennelLicense:GPL-3.0Stargazers:23Issues:3Issues:2

rix101

My NixOS, nix-on-droid and nix-darwin configs.

Language:NixLicense:MITStargazers:8Issues:1Issues:0

nix-update.nvim

Reimplementation of https://github.com/jwiegley/nix-update-el for Neovim using Treesitter

Language:FennelLicense:MITStargazers:6Issues:1Issues:0
Language:HaskellLicense:MITStargazers:5Issues:0Issues:0
Language:SchemeStargazers:2Issues:2Issues:0

LCPT

λ-Calculus and Proof Theory

Language:HaskellStargazers:2Issues:1Issues:0
Language:JavaScriptStargazers:2Issues:1Issues:0
Language:NixStargazers:1Issues:1Issues:0

crisp

A Curried Lisp

Language:HaskellStargazers:1Issues:1Issues:0
Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0
Language:C#License:MITStargazers:1Issues:0Issues:0
Language:AgdaStargazers:0Issues:0Issues:0

cornelis

agda-mode for neovim

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

Fennel

Lua Lisp Language

Language:FennelLicense:MITStargazers:0Issues:0Issues:0
Language:LuaLicense:MITStargazers:0Issues:0Issues:0

fmi-vim-projects

Projects created for the Vim course at FMI

Language:Vim ScriptStargazers:0Issues:0Issues:0

nixos-hardware

A collection of NixOS modules covering hardware quirks.

Language:NixLicense:CC0-1.0Stargazers:0Issues:0Issues:0

nvim-treesitter-context

Show code context

License:MITStargazers:0Issues:0Issues:0

nvim-ts-rainbow2

Rainbow delimiters for Neovim through Tree-sitter

Language:LuaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rainbow-delimiters.nvim

Rainbow delimiters for Neovim with Tree-sitter

License:Apache-2.0Stargazers:0Issues:0Issues:0

tree-sitter-fennel

Tree-sitter grammar for the Fennel programming language

Language:JavaScriptLicense:CC0-1.0Stargazers:0Issues:0Issues:0

tree-sitter-move

tree-sitter grammar for libra move language

License:MITStargazers:0Issues:0Issues:0

treesj

Neovim plugin for splitting/joining blocks of code

License:MITStargazers:0Issues:0Issues:0

typed-fennel

Adding dynamic type checking to Fennel

License:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:XSLTStargazers:0Issues:1Issues:0

ziglings

Learn the Zig programming language by fixing tiny broken programs.

Language:ZigLicense:MITStargazers:0Issues:0Issues:0