Christoph Höger's repositories
ppx_deriving_morphism
Deriving morphisms for OCaml data structures
modelica.ml
Modelica frontend implemented in OCaml
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
batteries-included
Batteries Included project
cadeau
Cadeau is like a static site generator, but for presentations with the goal of supporting multiple backends
folly
An open-source C++ library developed and used at Facebook.
gofrontend
Go compiler frontend (gccgo)
impact
Impact is a Modelica package manager
listings-modelica
Modelica syntax highlighting definitions for "listings"
MLS-rst-spec
Modelica Language Specification as restructured text
oasis
Cabal like system for OCaml
ocaml
Read-only mirror of INRIA SVN
ppx_deriving
Type-driven code generation for OCaml >=4.02
ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.
ppx_type_conv
Support Library for type-driven code generators
python-facebook
A simple Python wrapper for facebook graph api :sparkles: :cake: :sparkles: .
recon
Web and network friendly simulation data formats
rpmlint
Tool for checking common errors in rpm packages
simple-language
A front-end for a simple, statically-typed, purely functional programming language.
smart-print
The pretty-printing library which feels natural to use.
super-linter
Combination of multiple linters to install as a GitHub Action
toku2mongo
TokuMX is a high-performance, concurrent, compressing, drop-in replacement engine for MongoDB | Issue tracker: https://tokutek.atlassian.net/browse/MX/ |