Pinned Repositories
imandra-sandbox
ocaml-decoders
Elm-inspired decoders for Ocaml
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.
ppx_deriving_decoders
pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.
imandra-starter-template
Example layout for an Imandra project
imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.
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.
ocaml-decoders
Elm-inspired decoders for Ocaml
aidmandorky's Repositories
aidmandorky/imandra-sandbox
aidmandorky/ocaml-decoders
Elm-inspired decoders for Ocaml
aidmandorky/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.
aidmandorky/ppx_deriving_decoders
aidmandorky/pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.