Pinned Repositories
nominal-lstar
Code for "Learning nominal automata"
nlambda
Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
academy
The Warp academy - a set of tutorials that introduce into smart contracts development in Warp
gateway
A meta-gateway for Arweave SmartWeave interaction transactions.
sequencer
syncer
Service for syncing with Arweave node
warp
An implementation of the Arweave SmartWeave smart contracts protocol.
szynwelski's Repositories
szynwelski/nlambda
Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.