thoferon/coq-practice thoferon/coq-practice

  • Stars
    star
    1
  • Language Coq
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thoferon/coq-practice
github

thoferon

Reviews

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

Repository Details

More Repositories

1

simplessh

See https://hackage.haskell.org/package/simplessh
C
10
star
2

eventsafe

MIRROR REPOSITORY for http://hub.darcs.net/thoferon/eventsafe
Haskell
3
star
3

cric

MIRROR for the darcs repository (see below if you want the most up-to-date verion)
Haskell
3
star
4

harp

/!\ MIRROR repository /!\ HTTP reverse proxy
C
3
star
5

nix-direnv

Shell
2
star
6

haskell-nix-setup

Nix setup for Haskell projects with ghcide, hlint and hpack
Shell
2
star
7

cookhouse

A build server in Haskell (MIRROR REPO)
Haskell
1
star
8

simplessh-rb

Ruby version of SimpleSSH
C
1
star
9

rb_monads

Simple implementation of monads in Ruby
Ruby
1
star
10

bloxorz-clj

Bloxorz in Clojure
Clojure
1
star
11

seakale

A pure SQL library in Haskell
Haskell
1
star