Beast code in Giters

Mohamed H's repositories

Language:JavaScriptNOASSERTION7 10

Un langage de stream audio, fait dans le cadre d'un projet de l'ENS Paris-Saclay

Language:PythonGPL-3.01 10

A fast mp3 tag reader written in javascript

LGPL-3.01 10

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlNOASSERTION000

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code

NOASSERTION000

PDF Reader in JavaScript

Language:JavaScriptApache-2.0000

Language:PythonGPL-2.0000

Language:SMTNOASSERTION010

First-order automated theorem prover based on the tableau method

Language:OCamlNOASSERTION000