Giters
tomguim

tomguim

Geek Repo

14

followers

9

following

124

stars

Location:Earth

Home Page:https://keybase.io/tom_guimberteau

Github PK Tool:Github PK Tool

tomguim's starred repositories

Dynamics

NYU Linguistics seminar, spring 2021, on dynamic semantics: from content to uptake

Language:HaskellStargazers:9Issues:0Issues:0

metamk

Meta-Interpreters in miniKanren

Language:SchemeStargazers:31Issues:0Issues:0

staged-miniKanren

staged relational interpreters: running with holes, faster

Language:RacketStargazers:123Issues:0Issues:0

sexpression

s-expression parser for javascript

Language:JavaScriptStargazers:16Issues:0Issues:0

nools

Rete based rules engine written in javascript

Language:JavaScriptLicense:MITStargazers:949Issues:0Issues:0

aima-haskell

Algorithms from AIMA in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:331Issues:0Issues:0

Library-Of-Pybel

Library of Babel clone in Python

Language:PythonLicense:MITStargazers:182Issues:0Issues:0

MorpherWallet

Morpher Wallet is a recoverable, non-custodial wallet that runs directly in the browser. Needs zero installation and zero configuration as a keystore.

Language:TypeScriptStargazers:22Issues:0Issues:0

DAO-Proposals

Proposals for the Volatility Protocol DAO

Stargazers:2Issues:0Issues:0

synthetix

Synthetix Solidity smart contracts

Language:JavaScriptLicense:MITStargazers:1198Issues:0Issues:0

MorpherProtocol

Morpher Protocol enables trading thousands of markets with perfect liquidity, shorting, leverage, and 24/7 stocks. Built on Ethereum, no collateral required.

License:GPL-3.0Stargazers:39Issues:0Issues:0

AgencyManagement

Measuring the Emergent Behavior of Empowering Expertise.

Language:PythonStargazers:1Issues:0Issues:0

moloch

👹 Moloch whose mind is pure machinery! Moloch whose blood is running money!

Language:JavaScriptLicense:MITStargazers:674Issues:0Issues:0

Gravity

Gravity Network: a distributed computing architecture for resilience and interoperability

Stargazers:1Issues:0Issues:0

DAO-Handbook

Documentation describing Robin Hood Cooperative as a DAO

Stargazers:1Issues:0Issues:0

robinhoodcoop

Stargazers:1Issues:0Issues:0

robinhoodcoop

Language:JavaScriptStargazers:1Issues:0Issues:0

DAO-Handbook

Documentation describing Robin Hood Cooperative as a DAO

Language:HTMLStargazers:3Issues:0Issues:0

Gravity

Gravity Network: a distributed computing architecture for resilience and interoperability

Stargazers:37Issues:0Issues:0

rnode-grpc-js

RNode gRPC/HTTP API generator for Nodejs and the browser

Language:TypeScriptLicense:MITStargazers:9Issues:0Issues:0

rholang-idea

Rholang plugin for the IntelliJ Platform

Language:KotlinLicense:MITStargazers:11Issues:0Issues:0

rchain-docker-shard

RChain network on a local machine

Language:PythonStargazers:5Issues:0Issues:0

pyrchain

Python 3 interface to RChain RNode RPC

Language:PythonLicense:GPL-3.0Stargazers:10Issues:0Issues:0

rchain-api

An API for rchain dapps to communicate with the blockchain

Language:JavaScriptLicense:NOASSERTIONStargazers:22Issues:0Issues:0

bonfire_ui_reflow

UI for reflow bonfire app

Language:ElixirLicense:AGPL-3.0Stargazers:7Issues:0Issues:0

dapp

Language:SolidityStargazers:2Issues:0Issues:0

rchain

Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

Language:ScalaLicense:NOASSERTIONStargazers:691Issues:0Issues:0

LearnRholangByExample

Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.

Language:JavaScriptStargazers:67Issues:0Issues:0

rgov

RChain liquid democracy demo: capability sharing, mailbox, directory, chat, ...

Language:JavaScriptStargazers:10Issues:0Issues:0

EconomicSpaceAgency

Warp economic spacetime. Create programmable organizations.

Stargazers:21Issues:0Issues:0