Geerayef

User data from Github https://github.com/Geerayef

followers

following

stars

Tibor's repositories

Dotfiles

Dotfiles dump

Language:Shell9 10

DDPGCartPole

Use DDPG to balance cart-pole system

Language:PythonMIT2 10

minim_lualine

minim - alistic Lualine style

Language:Lua2 10

Kata

Kata

Language:CUnlicense000

nvim-dap

Debug Adapter Protocol client implementation for Neovim

Language:LuaGPL-3.0000

porphyrio

Combinatory logic for Lua

Language:LuaLGPL-2.1000

spartan-type-theory

Spartan type theory

Language:OCamlMIT000