Marc Chevalier (marc-chevalier)

marc-chevalier

Geek Repo

Location:Zürich

Home Page:marc-chevalier.com

Github PK Tool:Github PK Tool


Organizations
ProjetPP

Marc Chevalier's repositories

ocolor

Print with style in your terminal using Format's semantic tags

Language:OCamlLicense:MITStargazers:17Issues:3Issues:1

kholles

Exercices de khôlles pour MP/MP*

Language:TeXStargazers:2Issues:2Issues:0
Language:TeXStargazers:1Issues:0Issues:0

AlgoParDM1

Distributing the Heat Equation

Language:CStargazers:0Issues:0Issues:0

antisthenes

A solver for sutom

Language:OCamlStargazers:0Issues:0Issues:0

calchas

Modular Computer Algebra System with Sympy wrapper.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:2
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

clang-hook

How to deceive cmake and make llvm test suite computer scientist-friendly again.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

DGtal

Digital Geometry Tools and Algorithm Library

Language:C++License:LGPL-3.0Stargazers:0Issues:0Issues:0

dotnet-docs

This repository contains .NET Documentation.

Language:DockerfileLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

epictetus

Elegant Printer of Insanely Complex Tables Expressing Trees with Uneven Shapes

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Stargazers:0Issues:0Issues:0

lectureDG

lectureDG

Language:PostScriptStargazers:0Issues:0Issues:0

Limnoria

A modified version of Supybot (an IRC bot) with Python 3 and IRCv3 support including SASL, translations (fr/fi/it/hu/de), GPG authentication, and many other enhancements and bug fixes

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml

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

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocamlgraph

OCaml graph library

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

plato

Python Library Adapted To Ocaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

pre-commit-clang-format

ClangFormat hook for pre-commit

Stargazers:0Issues:0Issues:0

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:4Issues:0

sas-artifact-badges

Badges for the Static Analysis Symposium Artifacts

License:CC0-1.0Stargazers:0Issues:0Issues:0

texstudio

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

License:GPL-3.0Stargazers:0Issues:0Issues:0