Popular repositories Loading

1. reinforcement-learning-ch11 reinforcement-learning-ch11 Public

   Slides for chapter 11 of "Reinforcement Learning: An introduction" by Barto & Sutton

   JavaScript 1

2. gpt-3-demystified gpt-3-demystified Public

   Slides: GPT-3 demystified

   JavaScript 1 1

3. spotify-tui spotify-tui Public

   Forked from Rigellute/spotify-tui

   Spotify for the terminal written in Rust 🚀

   Rust

4. idris2-vim idris2-vim Public

   Forked from edwinb/idris2-vim

   Vim mode for Idris 2

   Vim Script

5. idris2-int-test idris2-int-test Public

   Testing reading/writing (unsigned) integers between Idris and C

   Idris

6. leiningen leiningen Public

   Forked from technomancy/leiningen

   Automate Clojure projects without setting your hair on fire.

   Clojure