Popular repositories Loading

1. imandra-sandbox imandra-sandbox Public

2. POMDPs.jl POMDPs.jl Public

   Forked from JuliaPOMDP/POMDPs.jl

   MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.

   Julia

3. ocaml-decoders ocaml-decoders Public

   Forked from mattjbray/ocaml-decoders

   Elm-inspired decoders for Ocaml

   OCaml

4. pyml_example pyml_example Public

   Forked from jonathan-laurent/pyml_example

   An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.

   OCaml

5. ppx_deriving_decoders ppx_deriving_decoders Public

   Forked from actionshrimp/ppx_deriving_decoders

   OCaml