Explore projects
-
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
This project contains the information related to the evaluation carried out during CRV 14.
Updated -
Updated
-
dema / mcgdb
Apache License 2.0Updated -
WILLEMS Danny / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
Project for modelling CPU caches based on a simple benchmark
Updated -
Project for modelling CPU caches based on a simple benchmark
Updated -
HAWKINS Byron / pcm
BSD 3-Clause "New" or "Revised" LicenseIntel PCM, cloned from https://github.com/opcm/pcm.git
Updated -
-
Updated
-
DYLISS / pylissIdConv
MIT LicenseThe aim of this library is to safely handle the decoding/encoding process of SBML identifiers and SBML entities names.
Updated -
-
-
-
HAWKINS Byron / dinero
OtherDinero IV, originally downloaded from ftp://ftp.cs.wisc.edu/markhill/DineroIV.
Updated -
Updated
-
CAPES-Math / live-build
GNU General Public License v3.0 onlyUpdated -
KHAN Quentin / ScalFMM
CeCILL-C Free Software License AgreementN-body simulation using kernel independent Fast Multipole Method
Updated -
A D sub implementation in OCaml with typing and subtyping algorithms.
UpdatedUpdated -
Répertoire de génomes bactériens générés à l'aide du pipeline de génération de données GenMyData. Thèse de Sébastien François.
Updated