Repositórios

Repositórios de clarus

172 repositórios suportados

Mostrar repositórios com issues indexadas
clarus/CompCertCoq

The CompCert C verified compiler

Último commit 2 de abr. de 2015

 (0 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
clarus/ConstructorsOCaml

Example Coq plugin

Último commit 26 de nov. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/Coq-EquationsOCaml

A plugin for Coq to add dependent pattern-matching.

Último commit 26 de nov. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/CoqEALCoq

CoqEAL -- The Coq Effective Algebra Library

Último commit 26 de nov. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/GhostJavaScript

Just a blogging platform

Último commit 28 de jan. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/PlouffeCoq

Computing Pi decimal using Plouffe Formula in Coq

Último commit 26 de nov. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/RocketRust

A web framework for Rust.

Último commit 27 de dez. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/Test

A test project

Último commit 1 de jul. de 2010

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/UniMathCoq

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

Último commit 31 de jan. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/UniverseComparatorOCaml

A tool to compare universe levels in Coq.

Último commit 26 de nov. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/ads

Último commit 14 de ago. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/arbitrum-docsJavaScript

Arbitrum Docs! Content + Webapp

Último commit 22 de dez. de 2022

 (0 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
clarus/archetype-docsJavaScript

Último commit 15 de jul. de 2022

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome

😎 Awesome lists about all kinds of interesting topics

Último commit 22 de dez. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-noir

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

Último commit 5 de dez. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-ocaml

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

Último commit 8 de out. de 2022

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-redux

Curated list of Redux libraries and learning material

Último commit 27 de ago. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-redux-1

Awesome list of Redux examples and middlewares

Último commit 22 de out. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-smart-contracts

The best smart contracts in one place.

Último commit 10 de dez. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
clarus/awesome-solidity

A curated list of Solidity resources

Último commit 24 de mar. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)