choeger Goto Github PK

algorithmw

Example implementation of Algorithm W for Hindley-Milner type inference

aplus

An implementation of the Promises/A+ specification and test suite in Python

authredmine

A small python script to authenticate against redmine

batteries-included

Batteries Included project

cadeau

Cadeau is like a static site generator, but for presentations with the goal of supporting multiple backends

choeger.github.io

compliance

cpython

The Python programming language

dbus-python-cmake

CMake Port of dbus-python

e2lang

embedded equation language

emodelica

Eclipse integration for Mosilab (and probably OpenModelica soon)

final-frontier-converter

ff.ch -> wordpress converter

folly

An open-source C++ library developed and used at Facebook.

gobject-introspection

Warning: the windows branch is treated as a local topic branch that just happens to be shared here, so expect non-fast-forward updates...

gofrontend

Go compiler frontend (gccgo)

impact

Impact is a Modelica package manager

jbop

jBOP (Java Bytecode OPtimizer) is a library for Runtime Optimization of Java Classes.

jdae

A DAE solving library written in Java

listings-modelica

Modelica syntax highlighting definitions for "listings"

maven-scala-plugin

The maven-scala-plugin is used for compiling/testing/running/documenting scala code in maven.

mcp_equivalent_params

Equivalent Parameters for Modelica

metamodelica-autotools

MetaModelica build system conversion into autotools

mls-rst-spec

Modelica Language Specification as restructured text

modelica.ml

Modelica frontend implemented in OCaml

modelicastandardlibrary

Free (standard) library from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.

oasis

Cabal like system for OCaml

ocaml

Read-only mirror of INRIA SVN

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

playdox

Document viewer written in scala play!

ppx_deriving

Type-driven code generation for OCaml >=4.02