recmo Goto Github PK

postgrestskeleton

Skeleton web stack using Docker Compose, PostgreSQL, PostgREST, Nginx and Auth0.

principia

Futuristic programming, reasoning and proof language

principia-cpp

Principia compiler and optimizer implemented in C++

proto-ecdsa-plonky2

proto-goldilocks-webgpu

Prototype WebGPU compute implementation of Goldilocks

pyrevm

Python wrapper around https://github.com/bluealloy/revm/ using PyO3

remgo

Computer Go player using MCTS and HashLife inspired information sharing

revm

Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.

rg3d-sound

Sound library for games

rust-delegate

Rust method delegation with less boilerplate

rust-service-template

rust-static-build

Rust build image to create statically compiled binaries.

semaphore

A privacy gadget for creating anonymous proof of membership on Ethereum.

sggc

Boilerplate and tests for the first Solidity Gas Golfing Contest

shardtoken

Ethereum token contract for a post-state-rent, post-sharding world.

snarkjs

zkSNARK implementation in JavaScript & WASM

solidity

The Solidity Contract-Oriented Programming Language

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

solo

dYdX V2 Margin Trading Protocol

sponges

Collection of sponge functions written in pure Rust

stackedit

In-browser markdown editor

stdweb

A standard library for the client-side Web

truffle-compile

Compiler helper and artifact manager

uint

Rust Uint crate using const-generics

web3.js

Ethereum JavaScript API

xcompile

Specify compose key sequences in a simple language.

yul

zeppelin-solidity

Zeppelin, a framework to build secure smart contracts on Ethereum

zkp-u256

Rust 256-bit unsigned integers.

zola

Fork of Zola to remove mandatory front-matter.