Pinned Repositories
agda2hs
Compiling Agda code to readable Haskell
agda-stdlib
The Agda standard library
agda2hs
Compiling Agda code to readable Haskell
bnfc
BNF Converter
Interaction-Tree
A library for reasoning about recursive and impure programs in Agda.
stand-in-language
A simple but robust virtual machine
haskell-utilities-library
A collection of convenient functions and datastructures to help development of haskell programs.
llvm-agda
Meshdep
Meshdep or Mesh Depot for long is a student project dedicated to creating a small network of interconnected nodes to one central computer acting server which provides cloud storage to users on the front end.
stand-in-language
A simple but robust virtual machine
Cogsad's Repositories
Cogsad/agda-stdlib
The Agda standard library
Cogsad/agda2hs
Compiling Agda code to readable Haskell
Cogsad/bnfc
BNF Converter
Cogsad/Interaction-Tree
A library for reasoning about recursive and impure programs in Agda.
Cogsad/stand-in-language
A simple but robust virtual machine