Giters
Dimitris Mostrous (doctor-pi)

doctor-pi

Geek Repo

24

followers

43

following

3k

stars

Github PK Tool:Github PK Tool

Dimitris Mostrous'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

gluten

Reusable runtime library for network protocols

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues: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