STATEBOX
Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for distributed systems, blockchains, workflow management systems, application orchestration and system architecture.
STATEBOX
Industry:
Blockchain Consulting
Founded:
2017-01-01
Address:
Amsterdam, Noord-Holland, The Netherlands
Country:
The Netherlands
Website Url:
http://www.statebox.org
Total Employee:
1+
Status:
Active
Email Addresses:
[email protected]
Technology used in webpage:
Euro Amazon Global Site Tag IPv6 Nginx Person Schema Amazon Virginia Region COVID-19 HSTS IncludeSubdomains PreLoad Amazon S3 CDN
Similar Organizations
APPICS
APPICS is a social media and e-commerce application based on blockchain technology, that rewards users for creating and curing content.
Cofound.it
A distributed VC ecosystem for the distributed future.
Current Employees Featured
Founder
Official Site Inspections
http://www.statebox.org
- Host name: 52.14.198.104.bc.googleusercontent.com
- IP address: 104.198.14.52
- Location: Mountain View United States
- Latitude: 37.4043
- Longitude: -122.0748
- Metro Code: 807
- Timezone: America/Los_Angeles
- Postal: 94043
More informations about "Statebox"
Statebox - Crunchbase Company Profile & Funding
Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is โฆSee details»
Statebox Overview | SignalHire Company Profile
Statebox is a radically different way to build smart contracts, inspired by modern physics and mathematics. ... Organization Website: statebox.org : Statebox industries Software โฆSee details»
Statebox company information, funding & investors - Dealroom.co
Statebox, statebox - compositional diagrammatic programming language. Here you'll find information about their funding, investors and team.See details»
About Statebox โ Medium
Read more about Statebox. Formally verified process language. Find out more at https://statebox.org.See details»
Statebox - GitHub
Statebox/cli-toolโs past year of commit activity JavaScript 5 AGPL-3.0 0 3 2 Updated Aug 12, 2021 purescript-halogen-svg Public Forked from kwohlfahrt/purescript-halogen-svgSee details»
May 2018 - Applied Category Theory Workshop - statebox.org
May 5, 2018 Statebox is developing the new Applied Category Theory portal to support the efforts of the organization and allow the members a better way to get to know each other, โฆSee details»
archive.statebox.org
Chapter 1 Introduction This document de๏ฌnes the mathematical backbone of the Statebox language. In the simplest way possible ...See details»
Statebox - Crunchbase
Statebox is building a compositional, visual, formally verified process language using category theory.See details»
Statebox: A Universal Language of Distributed Systems
Jan 23, 2018 Itโs called Statebox. Among other things, itโs an ambitious attempt to combine categories, open games, dependent types, Petri nets, string diagrams, and blockchains into a โฆSee details»
What is Statebox? A discussion on founding principles
Jun 13, 2018 Statebox has received a lot of hype and attention in the last months. Nevertheless, we admittedly released very little information about what we are working on, and about the โฆSee details»
Statebox - Medium
Oct 15, 2019 Formally verified process language. Find out more at https://statebox.org.See details»
Journal
Decentralized Technology is a non-profit, free, open source and peer reviewed journal for contributions in blockchain technology and the distributed ecosystem in general.See details»
Statebox Ethereum Foundation Grant
Statebox uses category theory to turn diagrams, securely and compositionally, into executable systems. The aim of this grant is to exploit the power of ZKPs and Statebox's categorical โฆSee details»
Statebox โ Blog
Our Blog. https://blog.statebox.org. Our blog is currently hosted on Medium. We are considering moving the content to something that doesn't spy on you or has a paywall.See details»
statebox/annotation-tool: Paper commenting tool - GitHub
Contribute to statebox/annotation-tool development by creating an account on GitHub. Skip to content. Navigation Menu Toggle navigation. Sign in Product GitHub Copilot. Write better code โฆSee details»
ACT 2019 - statebox.org
The Statebox Team (Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla) Montague Semantics for Lambek Pregroups. Giovanni De โฆSee details»
Latest stories published on Statebox - Medium
Read the latest stories published by Statebox. Formally verified process language. Find out more at https://statebox.org.See details»
November 2018 - Statebox Developer Tools
Nov 11, 2018 Statebox Newsletter - November Statebox Developer Tools. Over the last month we have made significant progress in implementing the Statebox Studio which we are looking โฆSee details»
Archive of stories published by Statebox - Medium
Aug 30, 2018 Read top stories published by Statebox. Formally verified process language. Find out more at https://statebox.org.See details»
Top stories published by Statebox in 2019 โ Medium
Aug 31, 2019 Read the top stories published in 2019. Formally verified process language. Find out more at https://statebox.org.See details»