Repositories

clarus repositories

172 supported repositories

Show repositories with indexed issues
clarus/CompCertCoq

The CompCert C verified compiler

Last commit Apr 2, 2015

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
clarus/ConstructorsOCaml

Example Coq plugin

Last commit Nov 26, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/Coq-EquationsOCaml

A plugin for Coq to add dependent pattern-matching.

Last commit Nov 26, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/CoqEALCoq

CoqEAL -- The Coq Effective Algebra Library

Last commit Nov 26, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/GhostJavaScript

Just a blogging platform

Last commit Jan 28, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/PlouffeCoq

Computing Pi decimal using Plouffe Formula in Coq

Last commit Nov 26, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/RocketRust

A web framework for Rust.

Last commit Dec 27, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/Test

A test project

Last commit Jul 1, 2010

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/UniMathCoq

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

Last commit Jan 31, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/UniverseComparatorOCaml

A tool to compare universe levels in Coq.

Last commit Nov 26, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/ads

Last commit Aug 14, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/arbitrum-docsJavaScript

Arbitrum Docs! Content + Webapp

Last commit Dec 22, 2022

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
clarus/archetype-docsJavaScript

Last commit Jul 15, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome

😎 Awesome lists about all kinds of interesting topics

Last commit Dec 22, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-noir

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

Last commit Dec 5, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-ocaml

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

Last commit Oct 8, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-redux

Curated list of Redux libraries and learning material

Last commit Aug 27, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-redux-1

Awesome list of Redux examples and middlewares

Last commit Oct 22, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-smart-contracts

The best smart contracts in one place.

Last commit Dec 10, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
clarus/awesome-solidity

A curated list of Solidity resources

Last commit Mar 24, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)