csgordon/bedrock csgordon/bedrock

  • Stars
    star
    1
  • Language Coq
  • License
    Other
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
csgordon/bedrock
github

csgordon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)

More Repositories

1

cayenne

Resurrecting Lennart Augustsson's implementation of Cayenne
Haskell
36
star
2

coq-fsharp

Libraries and tools for extracting Coq code to F#
Coq
13
star
3

rghaskell

Porting a variant of rely-guarantee references to Liquid Haskell
Haskell
6
star
4

guarded-recursion

Playing with guarded recursion in Coq and Agda
Coq
4
star
5

javaui

A Java compiler plugin to prevent invalid thread accesses when writing GUIs.
Java
2
star
6

csgordon

Github Profile README
1
star
7

rgref

Prototype Implementation of Rely-Guarantee References as a Coq DSL
Coq
1
star
8

cs647template

Java
1
star
9

ir441

Rust
1
star
10

rgref-concurrent

Concurrency fork of rely-guarantee references
Coq
1
star