neriglissar

The Netherlands

Pinned Repositories

idris2-vim
Vim mode for Idris 2
Language:Vim script78 8 926
gpt-3-demystified
Slides: GPT-3 demystified
Language:JavaScript1 1 01
idris2-int-test
Testing reading/writing (unsigned) integers between Idris and C
Language:Idris0 1 00
idris2-vim
Vim mode for Idris 2
Language:Vim Script0 0 00
leiningen
Automate Clojure projects without setting your hair on fire.
Language:Clojure0 0 00
reinforcement-learning-ch11
Slides for chapter 11 of "Reinforcement Learning: An introduction" by Barto & Sutton
Language:JavaScript1 0 00
spotify-tui
Spotify for the terminal written in Rust 🚀
Language:Rust0 0 00
spotify-tui
Spotify for the terminal written in Rust 🚀
Language:Rust18.5k 75 565560

neriglissar's Repositories

neriglissar/gpt-3-demystified
Slides: GPT-3 demystified
Language:JavaScript1 1 01
neriglissar/reinforcement-learning-ch11
Slides for chapter 11 of "Reinforcement Learning: An introduction" by Barto & Sutton
Language:JavaScript1 0 00
neriglissar/idris2-int-test
Testing reading/writing (unsigned) integers between Idris and C
Language:Idris0 1 00
neriglissar/idris2-vim
Vim mode for Idris 2
Language:Vim Script0 0 00
neriglissar/leiningen
Automate Clojure projects without setting your hair on fire.
Language:Clojure0 0 00
neriglissar/spotify-tui
Spotify for the terminal written in Rust 🚀
Language:Rust0 0 00