champitoad Goto Github PK

3i013

Projet de recherche pour l'UE 3I013 de la L3 Informatique de l'UPMC.

actema-desktop

Desktop/Electron version of Actema, to be run with a plugin for a proof assistant.

alce

aLCE est une application permettant de jouer au Cadavre Exquis avec ses amis à partir d'un terminal Android.

bi0cube

Arduino code, Python scripts and website controlling the Bi0Cube PPE.

cbpv

A study of a simplified Call-By-Push-Value lambda-calculus in Coq.

coq-actema

Coq plugin integrating Actema as a tactic.

coq-plugin-template-atdgen

Template of Coq Plugin using the Dune build system, and showcasing some advanced features

coqhopf

Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.

dotfiles

flower-auto

Can ❀ decide intuitionistic propositional logic?

flower-prover

Can 🌸 be turned into a direct manipulation GUI for theorem proving?

flowers-metatheory

Can ✿ capture intuitionistic logic?

focalisation-classical-realizability

Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.

gym-numgrid

An OpenAI Gym environment where an agent explores a grid of hand-written digits images.

iexswarm

Android remote control application for the IExSwarm robot.

lambdasub

Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.

memoir-lophisc

Mémoire de M1 du master LOPHISC.

pablo.donato

My personal website

panda2prftree

Convert natural deduction proofs saved in Panda xml format to LaTeX prftree format.

radial-menu-vue

Radial Menu Component in Vue.js

rgb-run

RGB Run is a minimalist, yet hard to master runner game with gameplay focused on RGB colors switching.

scrollify

A jQuery plugin that assists scrolling and snaps to sections.

taquin

Un projet de jeu de taquin pour le module IHM de 1ère année de DUT Informatique.

term-lnets

Towards a term syntax for L-nets ("Travail de Recherche Encadré" realized as part of the M1 MPRI curriculum).

vim-abolish

abolish.vim: easily search for, substitute, and abbreviate multiple variants of a word

vscode-ocaml

An extension for VS Code which provides support for the OCaml language.

wpm

A feature-rich wallpaper manager written in Bash.