goose

Goose converts a small subset of Go to Coq

MIT License

Stars
100
Committers
11
View Code on GitHub
Ecosystems: Coq, Go

Commit Statistics

Past Year

All Time

Total Commits
65
819
Total Committers
4
15
Avg. Commits Per Committer
16.25
54.6
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
4
26
Merged Pull Requests
3
23
Total Issues
5
29
Time to Close Issues
N/A
7 months
Package Rankings
Top 6.54% on Proxy.golang.org
Badges
Extracted from project README
CI
Related Projects
gotestsum

'go test' runner with output optimized for humans, JUnit XML for CI integration, and a summary of...

21 Mar 2018 1,912
go-practice

Go and GitHub Actions Practice Repo

30 Aug 2021 0
be

The Go test helper for minimalists

03 Apr 2022 90
goose

A database migration tool. Supports SQL migrations and Go functions.

25 Feb 2016 5,853
goapp

An opinionated guideline to structure & develop a Go web application/service

04 Jul 2020 838
goscript

An alternative implementation of Golang specs, written in Rust for embedding or wrapping.

24 Oct 2017 1,514
gocaml

Statically typed functional programming language implementation with Go and LLVM

25 Jan 2017 747
gherkingen

Behaviour Driven Development tests generator for Golang

15 Jan 2022 74
goldie

Golden file testing for Go

29 Dec 2016 223
tools

[mirror] Go Tools

25 Nov 2014 7,202
gobasic

A BASIC interpreter written in golang.

18 Oct 2018 325
golang-examples

Go(lang) examples - (explain the basics of #golang)

15 Apr 2013 1,556
godog

Cucumber for golang

10 Jun 2015 2,184
gomacro

Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros

15 Feb 2017 2,171
gofumpt

A stricter gofmt

31 Mar 2019 3,291