Giters
Florent Hivert (hivert)

hivert

Geek Repo

41

followers

7

following

27

stars

Company:University Paris-Sud Orsay Paris-Saclay / LRI / CNRS

Location:Orsay / South of Paris / France

Home Page:https://www.lri.fr/~hivert/

Github PK Tool:Github PK Tool

Organizations
math-comp

Florent Hivert's repositories

CombiFIIL

Language:TeXLicense:GPL-2.0Stargazers:5Issues:4Issues:3

FormalPowerSeries

Formal power series in mathomp

Language:CoqLicense:GPL-3.0Stargazers:3Issues:4Issues:0

Coq-HookLength

Language:CoqLicense:GPL-2.0Stargazers:2Issues:5Issues:0

IVMPG

integer vectors modulo the action of a permutation group

Language:C++License:GPL-2.0Stargazers:2Issues:4Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:2Issues:4Issues:0

NumericMonoid

Computing the number of Numerical Monoid of a Given Genus

Language:PythonLicense:GPL-3.0Stargazers:2Issues:4Issues:1

analysis

Mathematical Components compliant Analysis Library

Language:CoqLicense:NOASSERTIONStargazers:1Issues:2Issues:0

Cilk-Experiment

Experiment using cilk

Language:C++License:GPL-2.0Stargazers:1Issues:3Issues:0

Cilk-GWTree

A primite Galton-Watson tree implementation using cilk

Language:C++License:GPL-3.0Stargazers:1Issues:3Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:1Issues:3Issues:0

libsemigroups

C++ library for semigroups and monoids

Language:C++License:GPL-3.0Stargazers:1Issues:5Issues:0

newtonsums

Newton series transformation

Language:CoqStargazers:1Issues:2Issues:0

CFA-L3-Demo

Demonstration du cours d'algorithmiques de Licence 3 en apprentissage

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:3Issues:0

Coq-Combi

Algebraic Combinatorics in Coq

Language:CoqLicense:GPL-3.0Stargazers:0Issues:1Issues:0

Coqxeter

Coxeter groups in Coq/Mathcomp

Language:CoqLicense:GPL-3.0Stargazers:0Issues:2Issues:0

CutCode

Cut a code into section for inclusion into a Latex files

Language:PythonLicense:GPL-3.0Stargazers:0Issues:4Issues:0

DLX-CPP

C++ implementation of Knuth dancing links

Language:C++Stargazers:0Issues:3Issues:0

finmap

Finset and finmap library

Language:CoqStargazers:0Issues:3Issues:0

GTQuivers

Groupe de travail sur les Carquois

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:9Issues:0

hivert.github.io

Stargazers:0Issues:2Issues:0

Jupyter-Notebooks

Language:Jupyter NotebookStargazers:0Issues:3Issues:0

libsemigroups_cppyy

Python package for using the C++ library libsemigroups via cppyy

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

math-comp.github.io

https://math-comp.github.io/

Language:HTMLStargazers:0Issues:1Issues:0

multinomials

Multinomials for Ssreflect

Language:CoqLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Permutohedron

Generation of permutohedron of order n in Ocaml and C++

Language:C++Stargazers:0Issues:3Issues:0

SageWidgetExper

Experiments with SageWidgets

Language:PythonLicense:GPL-3.0Stargazers:0Issues:5Issues:0

ufoai

UFO:Alien Invasion

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0