0

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

Github repo
Main metrics
  • Owner: pirapira/coq2rust
  • Platform:
  • License:: GNU Lesser General Public License v2.1
  • Category::
  • Topic:
  • Like:
    0
      Compare:

Github stars Tracking Chart

Main metrics

Overview
Name With Ownerpirapira/coq2rust
Primary LanguageOCaml
Program languageEmacs Lisp (Language Count: 10)
Platform
License:GNU Lesser General Public License v2.1
所有者活动
Created At2014-12-14 18:59:53
Pushed At2014-12-24 20:13:50
Last Commit At
Release Count0
用户参与
Stargazers Count225
Watchers Count15
Fork Count10
Commits Count16.7k
Has Issues Enabled
Issues Count5
Issue Open Count5
Pull Requests Count0
Pull Requests Open Count0
Pull Requests Close Count0
项目设置
Has Wiki Enabled
Is Archived
Is Fork
Is Locked
Is Mirror
Is Private