doctor-pi
Follow
-
gluten Public
Forked from anmonteiro/glutenReusable runtime library for network protocols
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJan 8, 2023 -
ocaml-grpc Public
Forked from dialohq/ocaml-grpc-forkGRPC implementation in OCaml
OCaml BSD 3-Clause "New" or "Revised" License UpdatedApr 11, 2022 -
conda-auto-env Public
Forked from chdoig/conda-auto-envAutomatically activate a conda environment when entering a folder with an environment.yml file
-
quantities Public
Forked from timjb/quantitiesType-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Idris MIT License UpdatedJan 28, 2019