lingmar

lingmar's Stars

• minicp/minicp

  minicp

  Language:Java1918

• fzlinshu/DPSolver

  Language:C++4

• lingmar/minizinc-diversity

  3

• miking-lang/miking

  Miking - the meta viking: a meta-language system for creating embedded languages

  Language:Monkey C5131

• miking-lang/miking-benchmarks

  The general Miking benchmark suite

  Language:C++58

• miking-lang/ocaml2mcore

  Translating OCaml programs into MCore files

  Language:OCaml31

• ocaml-multicore/domainslib

  Parallel Programming over Domains

  Language:OCaml17030

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml76368

• ocaml-multicore/effects-examples

  Examples to illustrate the use of algebraic effects in Multicore OCaml

  Language:OCaml42335

• ocaml-multicore/ocaml-effects-tutorial

  Concurrent Programming with Effect Handlers

  Language:OCaml66136

• ocaml-multicore/parallel-programming-in-multicore-ocaml

  Tutorial on Multicore OCaml parallel programming with domainslib

  Language:OCaml2837

• luinardi/hypermapper

  Black-box Optimizer based on Bayesian Optimization

  Language:C++15226

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  8.9k644

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k312