Beast code in Giters

Leonardo Lima's repositories

Language:PythonGPL-3.02 20

Language:PythonMIT1 30

Language:HTML1 10

Ace (Ajax.org Cloud9 Editor)

Language:JavaScriptNOASSERTION000

Language:JavaScriptLGPL-3.0000

Implementation of an adapted version of the well-known bandwidth minimization problem

Language:C++GPL-3.0030

Language:C++MIT020

Language:OCamlBSD-3-Clause010

OCaml hash-consing library

Language:OCamlNOASSERTION010

Language:PythonMIT020

Language:Standard MLMIT020

Language:TeXGPL-3.0010

New release of the systemc libraries

Language:C++NOASSERTION020

Language:Isabelle020

Low-level JSON parsing and pretty-printing library for OCaml

Language:OCamlBSD-3-Clause010