ISANobody/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
ISANobody
Discovered public repositories for ISANobody in the GitHub catalog.
ISANobody/SILL-Idris
An Implementaiton of substructrual session types in Idris
ISANobody/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ISANobody/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ISANobody/sill
Public repository.
ISANobody/ProbablityStuff
Game System Automation
ISANobody/homebrew
The missing package manager for OS X.