Nomadic Labs houses a team focused on Research and Development. Our core competencies are in programming language theory and practice, distributed systems, and formal verification. We believe our strength lies in a unique mix of skills and experience, allowing us to transfer the best of academic research into real world applications.
Tezos Berlin is a nonprofit that contributes to the advancement of the Tezos ecosystem. It is dedicated to fostering community, development, and collaborative efforts. Through the hosting of various events, meetings, and workshops, the organization brings a wide array of people together and provides support for them to work with and on Tezos.
Chorus Mobility is focusing on research and development of the Blockchain based peer-to-peer payments protocols and decentralized applications for connected vehicles. They emerged as a winner out of 23 participants from 15 countries worldwide in the BMW-backed auto tech Blockchain competition MOBI Grand Challenge.
The IMDEA Software Institute joins the Tezos Community with the collaboration agreement signed with Nomadic Labs, an active member of the ecosystem. Nomadic Labs has ample expertise in research and development of distributed, decentralized, and formally verified software, and is a preferent partner of the Tezos Foundation.
Tezos Blockstars by B9lab. Fast-track your education to building on Tezos. Tezos Blockstars is an end-to-end program supported by experienced tutors at B9lab and designed to provide developers with the knowledge and skills needed to become industry-leading Tezos developers.
In this self-paced workshop you are going to learn how to notarize any digital file using the Tezos blockchain. You will leverage the properties of blockchain technology, specifically auditability and immutability, to timestamp documents and to use the blockchain as a decentralized witness verifying the signature of multiple parties.
Transpiler from Solidity to Ligo language for easier migrating to Tezos rocket. This project is Solidity to LIGO syntax converter and transpiler. It takes a .sol file as an input, parses it and yields PascalLIGO code as a result. It is able to convert conditionals, loops, functions and many more. Also it can emulate state and create router for multple entrypoints