Repositories list

• drone-helper

  Public
  Go

  •0•0•0•0•Updated Sep 14, 2023Sep 14, 2023

• timeextractor

  Public
  Time Extractor NLP project - locate dates and times in text documents

  Java

  •

  Other

  •6•23•4•3•Updated Oct 18, 2022Oct 18, 2022

• flocq-quickchick

  Public
  Flocq binary float generators for QuickChick

  Coq

  •1•1•0•1•Updated Jul 30, 2021Jul 30, 2021

• CVE-2020-8835-verification

  Public
  Formal verification example for CVE-2020-8835

  Coq

  •0•2•0•0•Updated Jun 8, 2021Jun 8, 2021

• weather-similarity

  Public
  weather similarity page

  Mathematica

  •3•11•2•0•Updated May 25, 2021May 25, 2021

• VST

  Public
  Verified Software Toolchain

  Coq

  •

  Other

  •93•0•0•0•Updated Jan 20, 2021Jan 20, 2021

• formal-verification-intro

  Public
  Presentation on formal verification of computer programs

  TeX

  •1•2•0•0•Updated Jun 18, 2020Jun 18, 2020

• opam-coq-archive

  Public
  Archive for all Coq related OPAM packages organized in various repositories

  JavaScript

  •

  GNU Lesser General Public License v2.1

  •135•0•0•0•Updated Apr 3, 2020Apr 3, 2020

• asn1fpcoq

  Public
  Coq formalization of ASN.1 floating point

  Coq

  •3•5•1•1•Updated Nov 14, 2019Nov 14, 2019

• PyCoreML

  Public
  Python bindings for Apple's CoreML library

  Python

  •

  GNU General Public License v2.0

  •0•1•0•0•Updated Jul 26, 2017Jul 26, 2017

• neofuzzyneuron

  Public
  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Jun 27, 2017Jun 27, 2017

• tfcv

  Public
  Tensor Flow HOG descriptor

  Jupyter Notebook

  •5•17•1•0•Updated Sep 27, 2016Sep 27, 2016

• water-data

  Public
  water data anomaly detection

  Jupyter Notebook

  •0•0•0•0•Updated Sep 6, 2016Sep 6, 2016

• water-data-analysis

  Public
  Cleanup of USGS water data project

  0•0•0•0•Updated May 25, 2016May 25, 2016