Dimitris M's repositories

conda-auto-env

Automatically activate a conda environment when entering a folder with an environment.yml file

Language:ShellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

ocaml-grpc

GRPC implementation in OCaml

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0