-
ganache Public
Forked from ConsenSys-archive/ganacheA tool for creating a local blockchain for fast Ethereum development.
TypeScript MIT License UpdatedJan 19, 2022 -
Obsidian Public
Forked from mcoblenz/ObsidianObsidian language development
Scala BSD 3-Clause "New" or "Revised" License UpdatedJan 19, 2021 -
-
-
redtt Public
Forked from RedPRL/redtt"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
OCaml Apache License 2.0 UpdatedJan 10, 2020 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 24, 2019 -
wyvern Public
Forked from wyvernlang/wyvernThe Wyvern programming language.
Java GNU General Public License v2.0 UpdatedNov 12, 2018 -
-
agdademo Public
"Proving Theorems About Functional Programs" code and patter
Agda UpdatedSep 27, 2018 -
-
LIVE2017 Public
Forked from hazelgrove/LIVE2017Hazelnut Live submission to the LIVE 2017 workshop
TeX UpdatedSep 9, 2017 -
-
TurtleBot.Dockerfile Public
Forked from ChrisTimperley/TurtleBot.DockerfileProvides a Dockerfile for TurtleBot (to be run on hardware), built on top of ROS Indigo
Shell MIT License UpdatedApr 25, 2017 -
-
brass-energy-monitor Public
Forked from cmu-mars/brass-energy-monitorGazebo energy monitor plugin for BRASS project
Python UpdatedFeb 25, 2017 -
-
popl2017-papers Public
Forked from gasche/popl2017-papersLink to preprints for POPL'17 and co-located events
UpdatedDec 8, 2016 -
-
-
hott-notes Public
Forked from maurer/hott-notes15-819 (Homotopy Type Theory) Lecture Notes
TeX UpdatedFeb 25, 2014 -
{{ message }}