Dépôts

Dépôts de clarus

172 dépôts pris en charge

Afficher les dépôts avec des issues indexées
clarus/CompCertCoq

The CompCert C verified compiler

Dernier commit 2 avr. 2015

 (0 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
clarus/ConstructorsOCaml

Example Coq plugin

Dernier commit 26 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/Coq-EquationsOCaml

A plugin for Coq to add dependent pattern-matching.

Dernier commit 26 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/CoqEALCoq

CoqEAL -- The Coq Effective Algebra Library

Dernier commit 26 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/GhostJavaScript

Just a blogging platform

Dernier commit 28 janv. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/PlouffeCoq

Computing Pi decimal using Plouffe Formula in Coq

Dernier commit 26 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/RocketRust

A web framework for Rust.

Dernier commit 27 déc. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/Test

A test project

Dernier commit 1 juil. 2010

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/UniMathCoq

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

Dernier commit 31 janv. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/UniverseComparatorOCaml

A tool to compare universe levels in Coq.

Dernier commit 26 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/ads

Dernier commit 14 août 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/arbitrum-docsJavaScript

Arbitrum Docs! Content + Webapp

Dernier commit 22 déc. 2022

 (0 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
clarus/archetype-docsJavaScript

Dernier commit 15 juil. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome

😎 Awesome lists about all kinds of interesting topics

Dernier commit 22 déc. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-noir

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

Dernier commit 5 déc. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-ocaml

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

Dernier commit 8 oct. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-redux

Curated list of Redux libraries and learning material

Dernier commit 27 août 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-redux-1

Awesome list of Redux examples and middlewares

Dernier commit 22 oct. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-smart-contracts

The best smart contracts in one place.

Dernier commit 10 déc. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
clarus/awesome-solidity

A curated list of Solidity resources

Dernier commit 24 mars 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)