Skip to content
<awesome-gh-repos>
vic

SimonJF/IdrisNet

Verified networking using dependent types
Source code at GitHub null
SimonJF/IdrisNet.json
{
  "createdAt": "2013-09-17T12:36:11Z",
  "defaultBranch": "master",
  "description": "Verified networking using dependent types",
  "fullName": "SimonJF/IdrisNet",
  "homepage": null,
  "language": "Idris",
  "name": "IdrisNet",
  "pushedAt": "2014-01-04T17:46:06Z",
  "stargazersCount": 9,
  "topics": [],
  "updatedAt": "2021-09-02T10:36:54Z",
  "url": "https://github.com/SimonJF/IdrisNet"
}

IdrisNet

Section titled “IdrisNet”

Verified networking using dependent types