Pinned Repositories
APS-language
APS est un langage de programmation fonctionnel fortement typé avec des traits impératifs
Dark-dungeon
Implémentation du jeu vidéo de type dungeon crawler
digodoc
Dig into an opam switch for doc
digodoc-index-api
API for digodoc's entries completion in DB
digodoc-search-api
API for querying digodoc DB
dirdiff
Efficiently compute the differences between two directories
ez_api
Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
ez_search
Simple module to search in a set of files
ezjs_ace
Bindings for the Ace editor
Motif_Textuel
Analogue de commande 'egrep' dans terminal
hernoufM's Repositories
hernoufM/Motif_Textuel
Analogue de commande 'egrep' dans terminal
hernoufM/APS-language
APS est un langage de programmation fonctionnel fortement typé avec des traits impératifs
hernoufM/Dark-dungeon
Implémentation du jeu vidéo de type dungeon crawler
hernoufM/digodoc
Dig into an opam switch for doc
hernoufM/digodoc-index-api
API for digodoc's entries completion in DB
hernoufM/digodoc-search-api
API for querying digodoc DB
hernoufM/dirdiff
Efficiently compute the differences between two directories
hernoufM/ez_api
Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
hernoufM/ez_search
Simple module to search in a set of files
hernoufM/ezjs_ace
Bindings for the Ace editor
hernoufM/GC_miniZAM
Garbage collector for miniZAM
hernoufM/learn-ocaml
A Web Application for Learning OCaml
hernoufM/learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
hernoufM/memthol
Memthol is a visualizer for memory profiling data generated from OCaml programs.
hernoufM/niagara-lang
Compiler for the Niagara language
hernoufM/ocaml
The core OCaml system: compilers, runtime system, base libraries
hernoufM/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
hernoufM/opam-bundle
A tool that creates stand-alone source bundles from opam packages
hernoufM/opam-repository
Main public package repository for opam, the source package manager of OCaml.
hernoufM/opam-wix
opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
hernoufM/Orush
Implémentation du jeu de casse-tête de déplacement, version maritime du jeu "Rush Hour" ou "Blocked In"
hernoufM/ouvertureProj
Compression des arbres binaires de recherche.
hernoufM/ozulip
OCaml bindings to Zulip API
hernoufM/relocation-patches
A repository of patches to make OPAM packages relocatable
hernoufM/safe_index
hernoufM/Typer_lambda
Typeur et évaluateur pour un langage de programmation basé sur lambda-calcule avec le noyau fonctionnel possédantdes traits impératifs.