Popular repositories Loading

1. supertux-nspire supertux-nspire Public

   An adaptation of the SuperTux game for the TI-nspire calculator.

   C++ 5 1

2. xor-cracker xor-cracker Public

   Try to guess XOR key

   Python 2

3. vcoq vcoq Public

   A vim plugin, to provide a user-friendly interface in order to use the Coq Proof Assistant.

   Vim Script 1

4. SAMPL SAMPL Public

   Still another math proofs library !

   OCaml 1

5. neovim neovim Public

   Forked from neovim/neovim

   vim for the 21st century

   Vim Script

6. nKaruga nKaruga Public

   Forked from matrefeytontias/nKaruga-deprecated-Nspire-version-

   A clone of Ikaruga for TI-Nspire calculators

   C