gnidan/scheme_logic

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Scheme
Created over 14 years ago
Updated over 14 years ago

gnidan/scheme_logic

gnidan

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

Declarative logic programming environment for Scheme

abi-to-sol

Generate Solidity interface from ABI JSON

solregex

Regex compilation to Solidity

docker-eth-dev

Hacking together a containerized environment for Ethereum development with Truffle using Parity

interval-trees-solidity

Interval Trees in Solidity

devcon-iv-ethpm

devcon iv. EthPM Workshop - Javascript

tx2seq

Messing around with @truffle/debugger library to generate sequence diagrams

newspaper

Fixed-width typesetting

dappcon-berlin-2018

Truffle Dappcon Workshop

mockingbird

Web Implementation of "To Dissect a Mockingbird" Graphical Notation

cs650

guestbook-712

Example Guestbook contract using EIP-712 signatures

foodtastechess

Chess game by Team Food Taste for CS451

expectRevert-demo

Show how to use expectRevert in a Truffle project

RareGem

Ethereum contract - "RareGem" game, guess the color of the gem

gematria

wxPython application to calculate Gematria values of words

solasm

Solidity assembler in development

canvasboids

Boids simulation implemented using HTML5 and Canvas

ink-scroller

VIRII

You're a virus; Try to take over a colony of bacteria

gha-test

foodtastechess-client

Chess game by Team Food Taste for CS451 - Client Web-app

civic-robot-future

Smart Contracts for a Civic Robot Future - @codeforphilly workshop presentation

foodtastechess-docs

Documentation for Food Taste Chess

cross-contract-call-example