Repositories

clarus Repositories

172 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
clarus/CompCertCoq

The CompCert C verified compiler

Letzter Commit 2. Apr. 2015

 (0 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
clarus/ConstructorsOCaml

Example Coq plugin

Letzter Commit 26. Nov. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/Coq-EquationsOCaml

A plugin for Coq to add dependent pattern-matching.

Letzter Commit 26. Nov. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/CoqEALCoq

CoqEAL -- The Coq Effective Algebra Library

Letzter Commit 26. Nov. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/GhostJavaScript

Just a blogging platform

Letzter Commit 28. Jan. 2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/PlouffeCoq

Computing Pi decimal using Plouffe Formula in Coq

Letzter Commit 26. Nov. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/RocketRust

A web framework for Rust.

Letzter Commit 27. Dez. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/Test

A test project

Letzter Commit 1. Juli 2010

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/UniMathCoq

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Letzter Commit 31. Jan. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/UniverseComparatorOCaml

A tool to compare universe levels in Coq.

Letzter Commit 26. Nov. 2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/ads

Letzter Commit 14. Aug. 2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/arbitrum-docsJavaScript

Arbitrum Docs! Content + Webapp

Letzter Commit 22. Dez. 2022

 (0 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
clarus/archetype-docsJavaScript

Letzter Commit 15. Juli 2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome

😎 Awesome lists about all kinds of interesting topics

Letzter Commit 22. Dez. 2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-noir

A curated list of awesome things related to learning and programming in Noir.

Letzter Commit 5. Dez. 2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Letzter Commit 8. Okt. 2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-redux

Curated list of Redux libraries and learning material

Letzter Commit 27. Aug. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-redux-1

Awesome list of Redux examples and middlewares

Letzter Commit 22. Okt. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-smart-contracts

The best smart contracts in one place.

Letzter Commit 10. Dez. 2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
clarus/awesome-solidity

A curated list of Solidity resources

Letzter Commit 24. März 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)