Rari-Capital/nova-invariants

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Solidity
License
GNU Affero Genera...
Created about 3 years ago
Updated about 3 years ago

Rari-Capital/nova-invariants

Rari-Capital

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Formal verification and fuzzing of Nova with DappTools.

nova

Read and write to L1 with minimal latency and no trust tradeoffs.

rari-dApp

Rari Capital's Web3 Portal.

vaults

Flexible, minimalist, and gas-optimized yield aggregator protocol for earning interest on any ERC20 token.

golf-course

A list of common Solidity optimization tips and myths.

fuse-liquidator-bot

Liquidates unhealthy Fuse pool loans.

duppgrade

Update or revert to a specific DappTools commit with ease.

fuse-contracts

Smart contracts for Fuse by Rari Capital.

rari-dApp-next

Rari Capital Dapp

RariSDK

⚙️ An ethers interface for fuse and vaults.

rari-stable-pool-contracts

Smart contracts for the Rari Stable Pool.

optimistic-wrapped-withdraws

🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁

fuse-prom-target

Serves data to Prometheus about Fuse

charity-vaults

Share interest from Vaults with charities, friends, and more.

docs

Rari Capital Documentation

OVM-SafeERC20

OVM-safe version of OpenZepplin's SafeERC20.sol

rari-governance-contracts

Smart contracts for the Rari Governance system.

fuse-v2

Smart contracts for Fuse by Rari Capital.

rari-tank-contracts

Smart Contracts for the Rari "Tanks" (Yield Farming With Borrowed Funds)

semicen

Contracts for Rari's 'semicen' rebalancer system.

rari-components

A component library for Rari Capital's frontend properties

nova-interfaces

All the key Nova libraries and interfaces in one DappTools friendly repo!

docs-info

Informational and education documentation for Rari Capital.

fuse-simulations

DappTools project for simulating Fuse parameter changes.

charity-vaults-ui

User interface for charity vaults.

rari-yield-pool-contracts

Smart contracts for the Rari Yield Pool.

fuse-webhooks-bot

Serves data to Discord about Fuse

audit

Rari Capital has gone through several audits with Quantstamp to review the following smart contracts: Rari Stable Pool, Rari Yield Pool, Rari Ethereum Pool, and Rari Governance.

rari-tokens-generator

A CLI to generate a JSON file with all the token data Rari uses.

rari-improvement-proposals

The Rari Improvement Proposal Repository

fuse-v1

Smart contracts for Fuse V1 by Rari Capital.

rari-ethereum-pool-contracts

Smart contracts for the Rari Ethereum Pool.

convex-ui

Leverage off your Curve LPs while keeping Convex Rewards (frontend for Fuse pool 156)

fuse-twap-bot

Computes TWAPs for Uniswap V2 pairs and posts to Fuse price oracles.

fuse-margin-interface

InstaLev Next.js Interface (https://github.com/Rari-Capital/fuse-margin)

rari-pool-together-contracts

PoolTogether Yield Interface for the Rari Capital ETH Pool

rari-api

JSON-based HTTP API for Rari Capital.

fuse-margin

InstaLev: Margin trade on Fuse. Open leveraged longs/shorts on any asset.

fuse-sdk

JavaScript SDK for easy implementation of Fuse by Rari Capital.