Pinned Repositories
conprog-a3
ID2204 Constraint Programming Assignment 3
CT-Gecode
Repository for Bachelor Thesis Project, UU spring 2017
Erlang-and-OTP-in-Action-Source
The official "Erlang and OTP in Action" source code - see the README below for more details
gecode
Gecode constraint programming solver (release versions)
hakank
My public programs and models - mostly combinatorial problems and puzzles
kokbok
minizinc-diversity
os16
Repository for the course Operating Systems.
miking
Miking - the meta viking: a meta-language system for creating embedded languages
miking-benchmarks
The general Miking benchmark suite
lingmar's Repositories
lingmar/minizinc-diversity
lingmar/CT-Gecode
Repository for Bachelor Thesis Project, UU spring 2017
lingmar/os16
Repository for the course Operating Systems.
lingmar/conprog-a3
ID2204 Constraint Programming Assignment 3
lingmar/Erlang-and-OTP-in-Action-Source
The official "Erlang and OTP in Action" source code - see the README below for more details
lingmar/gecode
Gecode constraint programming solver (release versions)
lingmar/hakank
My public programs and models - mostly combinatorial problems and puzzles
lingmar/kokbok
lingmar/mcorelisting
lingmar/miking
Miking - the meta viking: a meta-language system for creating embedded languages
lingmar/miking-benchmarks
The general Miking benchmark suite
lingmar/mi-ocaml
lingmar/miking-emacs
Miking mode for Emacs
lingmar/minizinc-mode
Emacs mode for editing MiniZinc model file
lingmar/ocaml-multicore
Multicore OCaml
lingmar/ocaml-perf-experiments
lingmar/ocaml2mcore-1
Translating OCaml programs into MCore files
lingmar/trellis-dsl
The Trellis DSL for handling Hierarchical hidden Markov models