champitoad Goto Github PK
Name: Pablo Donato
Type: User
Location: Paris
Name: Pablo Donato
Type: User
Location: Paris
Projet de recherche pour l'UE 3I013 de la L3 Informatique de l'UPMC.
Desktop/Electron version of Actema, to be run with a plugin for a proof assistant.
aLCE est une application permettant de jouer au Cadavre Exquis avec ses amis à partir d'un terminal Android.
Arduino code, Python scripts and website controlling the Bi0Cube PPE.
A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Coq plugin integrating Actema as a tactic.
Template of Coq Plugin using the Dune build system, and showcasing some advanced features
Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
Can ❀ decide intuitionistic propositional logic?
Can 🌸 be turned into a direct manipulation GUI for theorem proving?
Can ✿ capture intuitionistic logic?
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
An OpenAI Gym environment where an agent explores a grid of hand-written digits images.
Android remote control application for the IExSwarm robot.
A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
Stellar resolution implemented with interactive execution
Mémoire de M1 du master LOPHISC.
My personal website
Convert natural deduction proofs saved in Panda xml format to LaTeX prftree format.
Radial Menu Component in Vue.js
RGB Run is a minimalist, yet hard to master runner game with gameplay focused on RGB colors switching.
A jQuery plugin that assists scrolling and snaps to sections.
Un projet de jeu de taquin pour le module IHM de 1ère année de DUT Informatique.
Towards a term syntax for L-nets ("Travail de Recherche Encadré" realized as part of the M1 MPRI curriculum).
My PhD thesis!
abolish.vim: easily search for, substitute, and abbreviate multiple variants of a word
An extension for VS Code which provides support for the OCaml language.
A feature-rich wallpaper manager written in Bash.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.