Pinned Repositories
nominal-lstar
Code for "Learning nominal automata"
redstone-docs
RedStone Oracles documentation
redstone-oracles-monorepo
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
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.