Giters
dnm

dnm

Geek Repo

17

followers

34

following

56

stars

Github PK Tool:Github PK Tool

Organizations
dylan-lang

dnm's repositories

dpg

Dylan Programming Guide, a book about Dylan.

Language:PythonStargazers:1Issues:2Issues:0

bsc

Bluespec Compiler (BSC)

Language:BluespecLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cormanlisp

Corman Lisp

Language:Common LispLicense:MITStargazers:0Issues:0Issues:0

l4v

seL4 specification and proofs

Language:IsabelleLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OpenHT

Hybrid Threading Tool Set

Language:C++License:BSD-3-ClauseStargazers:0Issues:2Issues:0

orp

Language:CStargazers:0Issues:2Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0