Coder Social home page Coder Social logo

Sorawit Suriyakarn's Projects

awesome-libra icon awesome-libra

:octocat: A Curated List of Awesome Facebook Libra Resources, welcome to add issues and create pull request. 欢迎国内的朋友

bevm icon bevm

BEVM 🅑 - Lightweight Ethereum Virtual Machine for Trustless Scaling

coq icon coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-sample icon coq-sample

Coq Implementations of Exercises from "Software Foundations"

cosmos-sdk icon cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

cosmospy icon cosmospy

Python tools for Cosmos wallet management and offline transaction signing

dn404 icon dn404

Implementation of a co-joined ERC20 and ERC721 pair.

jub icon jub

The Jub programming language 🦴. Write safer smart contracts with more fun!

knowledge-api icon knowledge-api

An API server that serves knowledge graphs from multiple sources

lock4u icon lock4u

You don't think you can keep your NFT safely? Put it to this lock and let it take care for you!

mux icon mux

A powerful URL router and dispatcher for golang.

myfi icon myfi

Open-source DeFi portfolio tracking

og-nft icon og-nft

Why keep fungible tokens when you can make them non-fungible?

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.