Pinned Repositories
amazonka-2.0.0
A comprehensive Amazon Web Services SDK for Haskell.
chapel
a Productive Parallel Programming Language
ChapelChannel
An implementation of a simple channel in Chapel
cogent
Cogent Project
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
LibHyps
A Coq library providing tactics to deal with hypothesis
LogicalFoundations
postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
stellar-core
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
SummerOfCodeQuadraticSieve
Unfinished implementation of the quadratic sieve algorithm
ConDai's Repositories
ConDai/talk-notes
Notes on talks
ConDai/workflows
Templates for Github Workflows
ConDai/xv6-riscv-fall19
6.S081/6.828 lab repo for fall 2019
ConDai/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
ConDai/xv6-riscv
Xv6 for RISC-V
ConDai/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
ConDai/vellvm
The Vellvm (Verified LLVM) coq development.
ConDai/wai
Haskell Web Application Interface
ConDai/theta-idl
Define communication protocols between applications using algebraic data types.
ConDai/amazonka-2.0.0
A comprehensive Amazon Web Services SDK for Haskell.
ConDai/chapel
a Productive Parallel Programming Language
ConDai/LibHyps
A Coq library providing tactics to deal with hypothesis
ConDai/LogicalFoundations
ConDai/cogent
Cogent Project
ConDai/stellar-core
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
ConDai/ChapelChannel
An implementation of a simple channel in Chapel
ConDai/SummerOfCodeQuadraticSieve
Unfinished implementation of the quadratic sieve algorithm