-
Carnegie Mellon University
- Pittsburgh
- https://www.cs.cmu.edu/~jlaurent/
Highlights
- Pro
Block or Report
Block or report jonathan-laurent
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
AlphaZero.jl Public
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
-
-
-
-
KaTie Public
A unified language for querying causal patterns in simulation traces of Kappa models
-
python-libgen Public
Utilities for building Python libraries that call OCaml code.
OCaml MIT License UpdatedAug 18, 2023 -
ppx_python Public
Forked from janestreet/ppx_python[@@deriving] plugin to generate Python conversion functions
OCaml MIT License UpdatedJul 19, 2023 -
pyml_example Public
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.
-
ReinforcementLearning.jl Public
Forked from JuliaReinforcementLearning/ReinforcementLearning.jlA reinforcement learning package for Julia
Julia Other UpdatedJun 14, 2022 -
www.julialang.org Public
Forked from JuliaLang/www.julialang.orgJulia Project website
Jupyter Notebook Other UpdatedFeb 28, 2022 -
pythonlib Public
Forked from janestreet/pythonlibA library to help writing wrappers around ocaml code for python
OCaml MIT License UpdatedDec 3, 2021 -
pytorch_scatter Public
Forked from rusty1s/pytorch_scatterPyTorch Extension Library of Optimized Scatter Operations
Python MIT License UpdatedJul 19, 2021 -
copilot-kind Public
A package for verifying safety properties of Copilot programs using model-checking
-
-
-
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
-
atom-julia-client Public
Forked from JunoLab/atom-julia-clientJuno a good IDE?
-
ocaml-torch Public
Forked from LaurentMazare/ocaml-torchOCaml bindings for PyTorch
OCaml Apache License 2.0 UpdatedApr 11, 2020 -
-
Documenter.jl Public
Forked from JuliaDocs/Documenter.jlA documentation generator for Julia.
CSS Other UpdatedDec 13, 2019 -
CuArrays.jl Public
Forked from JuliaGPU/CuArrays.jlA Curious Cumulation of CUDA Cuisine
Julia Other UpdatedDec 4, 2019 -
-
Gobblet.jl Public
Julia implementation and resolution of the famous Tic-Tac-Toe variant.
-
DifferentialDynamicProgramming.jl Public
Forked from baggepinnen/DifferentialDynamicProgramming.jlA package for solving Differential Dynamic Programming and trajectory optimization problems.
-
-
-
ppx_bin_prot Public
Forked from janestreet/ppx_bin_protGeneration of bin_prot readers and writers from types
OCaml MIT License UpdatedJul 26, 2018 -
bin_prot Public
Forked from janestreet/bin_protBinary protocol generator
OCaml MIT License UpdatedJul 11, 2018 -
-