Beast code in Giters

CHAUVIN Barnabé's repositories

supertux-nspire

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

Language:C++GPL-2.05 30

xor-cracker

Try to guess XOR key

Language:PythonGPL-2.02 20

SAMPL

Still another math proofs library !

Language:OCamlGPL-2.01 3 1

vcoq

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

Language:Vim ScriptGPL-2.01 30

anki

Anki for desktop computers

NOASSERTION000

anki-plugins

My anki addons :o

Language:Python000

bitcoin

Bitcoin Core integration/staging tree

MIT000

coqpyt

A python API to interact with the coqtop executable.

Language:Python000

coquille

Interactive theorem proving with Coq in vim.

ISC000

corn

Coq Repository at Nijmegen

Language:CoqGPL-2.0000

envoy

Language:PHPMIT000

graphql-with-sequelize

GraphQL working with Sequelize.js

Language:JavaScript000

MyAwesomeTimeline

000

Ndless

The TI-Nspire calculator extension for native applications

Language:C000

neovim

vim for the 21st century

NOASSERTION000

nKaruga

A clone of Ikaruga for TI-Nspire calculators

Language:C000

nspire_emu

Goplat's TI nspire emulator

000

pdf2json

A PDF file parser that converts PDF binaries to text based JSON, powered by a fork of PDF.JS

Language:JavaNOASSERTION000

rc

All my configuration files ..

Language:VimLMIT000

vim-math

Language:Python000