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