wilfredta Goto Github PK

act

Smart contract specification language

airline-routes

An app that shows current airline routes throughout the world, built with React

alg_data_structures

Practice with implementing a variety of algorithms and data structures

algorithmic_acrobatics

Exercises to practice the following: Dynamic Programming, backtracking, recursion, linked lists, binary trees, stacks and queues, sorting, Divide and conquer, search, and pointer based solutions

alloy-core

High-performance, well-tested & documented core libraries for Ethereum, in Rust

anemo

aori-sdk-rs

The Aori Rust SDK for interacting with Aori's Websocket-based API

athena_tutorials

Files for Athena language tutorials

athenas-consensus

Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language

balancerpools_model

cadCAD model to simulate Balancer AMMs

blockchain_js

A simple blockchain implementation in JS.

book_viewer

capi

Concepts as APIs with Programmable Interfaces (or apps as stored knowledge for more flexible knowledge management & communication)

celluloid

UNMAINTAINED: See celluloid/celluloid#779 - Actor-based concurrent object framework for Ruby

ckb-cli

CKB command line interface

ckb-duktape

Duktape powered JS script for CKB

ckb-js-toolkit-contrib

ckb-miscellaneous-scripts

Interesting and useful CKB scripts which aren't necessarily in system scripts

ckb-script-setup

Companion repo to workshop I gave on building tokens with CKB

ckb-sdk-js

JavaScript SDK for CKB

ckb-standalone-types

ckb-std

This library contains serveral modules that could help you write CKB contract with Rust.

clipper-mom

company_site_with_css_grid

A folder with company site pages using the CSS grid formatting context

comparison-of-proof-assistants

contact_store_and_search

A contact manager application built with jQuery and Handlebars, and utilizing local storage for data persistence

dex-amm-contract

The Amm contract of Glias DEX.

dex-sudt-amm-contract

docker-env-athena

echidna-forge-halmos-ser

Testing echidna vs. forge fuzzing vs. halmos sym exec vs ser symexec