Skip to content
View jmadiot's full-sized avatar

Organizations

@impega @PrincetonUniversity

Block or report jmadiot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • OCaml Updated Oct 17, 2024
  • Numbers equal to the sum of two square numbers

    Coq GNU Lesser General Public License v2.1 Updated Dec 17, 2022
  • Python example project used for a github actions tutorial

    Python Updated Dec 15, 2022
  • GeoCoq Public

    Forked from GeoCoq/GeoCoq

    A formalization of geometry in Coq based on Tarski's axiom system

    Coq GNU Lesser General Public License v3.0 Updated Dec 2, 2022
  • ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml Other Updated Sep 8, 2021
  • cats Public

    Coq Updated Mar 1, 2021
  • www Public

    Forked from coq/coq.github.io

    Source files of the coq.inria.fr website (static part)

    HTML Updated Jan 14, 2021
  • herdtools7 Public

    Forked from herd/herdtools7

    The Herd toolsuite to deal with .cat memory models (version 7.xx)

    OCaml Other Updated Dec 16, 2020
  • color Public

    Forked from fblanqui/color

    Coq library on rewriting theory and termination

    Coq Other Updated Jul 20, 2020
  • ydiff Public

    Forked from ymattw/ydiff

    View colored, incremental diff in workspace or from stdin with side by side and auto pager support (Was "cdiff")

    Python Other Updated Mar 30, 2020
  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated Mar 26, 2020
  • Makefile Updated Mar 10, 2020
  • Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainers=@fakusb,@palmskog]

    OCaml Other Updated Feb 21, 2020
  • atbr Public

    Forked from coq-community/atbr

    Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]

    Coq Other Updated Feb 13, 2020
  • jscoq Public

    Forked from jscoq/jscoq

    A port of Coq to Javascript -- Run Coq in your Browser

    JavaScript Other Updated Jan 22, 2020
  • snake Public

    Forked from dom96/snake

    A little snake game in Nim

    Nim MIT License Updated Dec 27, 2018
  • gh-minimap Public

    Forked from slikts/gh-minimap

    Source code 💻 minimap 🗺️ extension for GitHub 🙈

    JavaScript MIT License Updated Sep 17, 2018
  • booklet Public

    Forked from owntracks/booklet

    The definitive OwnTracks documentation

    Updated Jul 27, 2016
  • isochrone Public

    Draw isochrones for several ways of travelling

    JavaScript 1 Updated Jun 24, 2015
  • Automatically exported from code.google.com/p/trajanpascal

    OCaml Updated May 8, 2015
  • Automatically exported from code.google.com/p/ocamlseamcarving

    OCaml Updated May 8, 2015
  • trajanasm Public

    Automatically exported from code.google.com/p/trajanasm

    Assembly Updated May 8, 2015
  • cellauto Public

    Automatically exported from code.google.com/p/cellauto

    Python Updated May 8, 2015
  • vitef Public

    Automatically exported from code.google.com/p/vitef

    OCaml Updated May 7, 2015
  • burnmpi Public

    Updated Oct 6, 2014
  • diffbs Public

    diffbs is a diff and sort for betaseries

    PHP 1 Updated May 23, 2014
  • CSS 2 Updated Mar 28, 2014
  • 2048 Public

    Deterministic variant of 2048

    JavaScript 2 2 Updated Mar 20, 2014
  • Generate entries to add to your XCompose from latex commands descriptions

    Perl 1 2 Updated Jan 30, 2014
  • vlsub Public

    Forked from exebetche/vlsub

    VLC extension to download subtitles from opensubtitles.org

    Lua Updated Aug 17, 2013