reo101

- Teaching Functional Programming at Sofia University - Faculty of Mathematics and Informatics (FMI) - Also a 4th year Software Engineering student there

@LimechainSofia, Bulgaria

Pinned Repositories

Battleships
Year 1 Project for Introduction to Programming at FMI
Language:C++2 2 00
dotfiles
Language:Shell3 2 00
fp-2022-23
Language:Scheme2 2 00
jannie
Language:Haskell50
LCPT
λ-Calculus and Proof Theory
Language:Haskell2 1 00
nix-update.nvim
Reimplementation of https://github.com/jwiegley/nix-update-el for Neovim using Treesitter
Language:Fennel6 1 00
reovim
My neovim configuration
Language:Fennel24 3 33
rix101
My NixOS, nix-on-droid and nix-darwin configs.
Language:Nix11 1 01
tapy
Tapy (Tag and Copy) - A tool for tagging and quickly accessing all kinds of media
Language:Rust2 1 00
tree-sitter-nim
Nim grammar for tree-sitter
Language:C9 1 00

reo101's Repositories

reo101/reovim
My neovim configuration
Language:Fennel24 3 33
reo101/rix101
My NixOS, nix-on-droid and nix-darwin configs.
Language:Nix11 1 01
reo101/nix-update.nvim
Reimplementation of https://github.com/jwiegley/nix-update-el for Neovim using Treesitter
Language:Fennel6 1 00
reo101/jannie
Language:Haskell50
reo101/fp-2022-23
Language:Scheme2 2 00
reo101/LCPT
λ-Calculus and Proof Theory
Language:Haskell2 1 00
reo101/reo101.github.io
Language:JavaScript2 1 00
reo101/aoc2023
Language:Nix1 1 0
reo101/crisp
A Curried Lisp
Language:Haskell1 1 00
reo101/haskool
Language:Haskell11
reo101/NixOS-Users-Against-MIC-Sponsorship.github.io
1
reo101/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C1 0 00
reo101/reo101
1 1 00
reo101/TVRandomizer
LESNO
Language:C#1 1 0
reo101/agda-2023-24
Language:Agda1 0
reo101/cornelis
agda-mode for neovim
reo101/Fennel
Lua Lisp Language
Language:Fennel
reo101/fennel-ls
Language:Lua
reo101/fmi-vim-projects
Projects created for the Vim course at FMI
Language:Vim Script
reo101/nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:Nix0 0
reo101/nvim-treesitter-context
Show code context
reo101/nvim-ts-rainbow2
Rainbow delimiters for Neovim through Tree-sitter
Language:Lua0 0
reo101/rainbow-delimiters.nvim
Rainbow delimiters for Neovim with Tree-sitter
Language:Lua0 0
reo101/tree-sitter-fennel
Tree-sitter grammar for the Fennel programming language
Language:JavaScript
reo101/tree-sitter-move
tree-sitter grammar for libra move language
reo101/treesj
Neovim plugin for splitting/joining blocks of code
reo101/typed-fennel
Adding dynamic type checking to Fennel
reo101/userscripts
Language:JavaScript
reo101/xml-project
Language:XSLT1 0
reo101/ziglings
Learn the Zig programming language by fixing tiny broken programs.
Language:Zig0 0