Skip to content
View cpitclaudel's full-sized avatar
303 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback

Organizations

@flycheck @boogie-org @ProofGeneral @realgud @dafny-lang
Block or Report

Block or report cpitclaudel

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

  • coveragepy Public

    Forked from nedbat/coveragepy

    Code coverage measurement for Python

    Python Apache License 2.0 Updated Sep 2, 2021

  • mirage-www Public

    Forked from mirage/mirage-www

    Website infrastructure and content for mirage.io

    OCaml Updated May 12, 2021

  • mirage-tcpip Public

    Forked from mirage/mirage-tcpip

    TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.

    OCaml ISC License Updated May 12, 2021

  • frap Public

    Forked from achlipala/frap

    Formal Reasoning About Programs

    Coq Other Updated Apr 12, 2021

  • quick-peek Public

    Quick-peek inline-window library for Emacs

    Emacs Lisp 81 13 Updated Feb 15, 2021

  • Flex Public

    Forked from alexandrevicenzi/Flex

    The minimalist Pelican theme.

    CSS MIT License Updated Jan 30, 2021

  • no-littering Public

    Forked from emacscollective/no-littering

    Help keeping ~/.emacs.d clean

    Emacs Lisp GNU General Public License v3.0 Updated Jan 17, 2021

  • latte20 Public

    Forked from cucapra/latte21

    Languages, Tools, and Techniques for Accelerator Design

    CSS Updated Dec 22, 2020

  • verilator Public

    C++ GNU Lesser General Public License v3.0 Updated Dec 18, 2020

  • magit Public

    Forked from magit/magit

    It's Magit! A Git porcelain inside Emacs.

    Emacs Lisp GNU General Public License v3.0 Updated Oct 22, 2020

  • csslint Public

    Forked from CSSLint/csslint

    Automated linting of Cascading Stylesheets

    JavaScript Other Updated May 13, 2020

  • s.el Public

    Forked from magnars/s.el

    The long lost Emacs string manipulation library.

    Emacs Lisp GNU General Public License v3.0 Updated Apr 8, 2020

  • pylint Public

    Forked from pylint-dev/pylint

    A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells

    Python GNU General Public License v2.0 Updated Apr 3, 2020

  • pyverilator Public

    Forked from csail-csg/pyverilator

    Python wrapper for verilator model

    Python MIT License Updated Mar 6, 2020

  • z3.wasm Public

    WASM builds of the Z3 SMT solver

    Shell 139 8 MIT License Updated Feb 11, 2020

  • mkocaml Public

    Forked from chrisnevers/mkocaml

    🔨 Tool to generate OCaml projects

    OCaml BSD 3-Clause "New" or "Revised" License Updated Jan 6, 2020

  • docutils-css Public

    Forked from matthiaseisen/docutils-css

    A stylesheet for HTML pages created with docutils

    CSS MIT License Updated Dec 15, 2019

  • fstar.js Public

    F* running in the browser

    HTML 21 2 Apache License 2.0 Updated Aug 15, 2019

  • js_of_ocaml Public

    Forked from ocsigen/js_of_ocaml

    Compiler from OCaml to Javascript.

    OCaml Other Updated Aug 15, 2019

  • sphinx Public

    Forked from sphinx-doc/sphinx

    Main repository for the Sphinx documentation builder

    Python Other Updated May 14, 2019

  • pint Public

    Forked from hgrecco/pint

    Operate and manipulate physical quantities in Python

    Python Other Updated May 11, 2019

  • ympd Public

    Forked from notandy/ympd

    Standalone MPD Web GUI written in C, utilizing Websockets and Bootstrap/JS

    C GNU General Public License v2.0 Updated Mar 10, 2019

  • cantata Public

    Forked from CDrummond/cantata

    Qt5 Graphical MPD Client

    C++ GNU General Public License v3.0 Updated Mar 7, 2019

  • fontforge Public

    Forked from fontforge/fontforge

    Free (libre) font editor for Windows, Mac OS X and GNU+Linux

    C Other Updated Feb 20, 2019

  • MPD Public

    Forked from MusicPlayerDaemon/MPD

    Music Player Daemon

    C++ GNU General Public License v2.0 Updated Feb 19, 2019

  • coq-scripts Public

    Forked from JasonGross/coq-scripts

    Various useful scripts for dealing with Coq files

    Coq MIT License Updated Feb 1, 2019

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Mar 23, 2018

  • cask Public

    Forked from cask/cask

    Project management tool for Emacs

    Emacs Lisp GNU General Public License v3.0 Updated Jan 19, 2018

  • FStar Public

    Forked from FStarLang/FStar

    An ML-like language aimed at program verification

    OCaml 1 Apache License 2.0 Updated Sep 26, 2017

  • cvc4.js Public

    asm.js and WebAssembly ports of the CVC4 SMT solver

    JavaScript 4 Updated Jun 21, 2017