OCaml로 작성된 라이브러리
bamboo
Bamboo는 https://github.com/cornellblockchain/bamboo(by pirapira)를 참조하세요.
- 318
- Apache License 2.0
GeneWeb
GeneWeb은 Daniel de Rauglaudre가 만든 웹 인터페이스가 포함된 무료(자유 발언) 계보 소프트웨어입니다.
- 262
- GNU General Public License v3.0 only
coq2rust
Coq to Rust 프로그램 추출. 전체 트리는 원래 Coq 코드 베이스에 있습니다.
- 212
- GNU Lesser General Public License v3.0 only
plotkicadsch
이 프로젝트는 Kicad Sch 파일을 구조화된 사진 파일(jnavila 제공)로 내보낼 수 있는 것을 목표로 합니다.
- 201
- GNU General Public License v3.0