Geerayef

Pinned Repositories

markdown-oxide
PKM for the LSP
Language:Rust1.1k 7 12819
DDPGCartPole
Use DDPG to balance cart-pole system
Language:Python10
Dotfiles
Dotfiles dump
Language:Shell90
Kata
Kata
Language:C00
minim_lualine
minim - alistic Lualine style
Language:Lua2 1 00
nvim-dap
Debug Adapter Protocol client implementation for Neovim
Language:Lua00
porphyrio
Combinatory logic for Lua
Language:Lua00
spartan-type-theory
Spartan type theory
Language:OCaml00
nvim-dap
Debug Adapter Protocol client implementation for Neovim
Language:Lua5.9k 24 509214
learn.svelte.dev
A soup-to-nuts interactive tutorial on how to build apps with Svelte
Language:Svelte529 9 250244

Geerayef's Repositories

Geerayef/Dotfiles
Dotfiles dump
Language:Shell90
Geerayef/minim_lualine
minim - alistic Lualine style
Language:Lua2 1 00
Geerayef/DDPGCartPole
Use DDPG to balance cart-pole system
Language:Python10
Geerayef/Kata
Kata
Language:C00
Geerayef/nvim-dap
Debug Adapter Protocol client implementation for Neovim
Language:Lua00
Geerayef/porphyrio
Combinatory logic for Lua
Language:Lua00
Geerayef/spartan-type-theory
Spartan type theory
Language:OCaml00