Aiken
Users following aiken-lang
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Tucker Triggs
tuckpuck
Website developer | Cardano developer | Digital nomad
Tucker Triggs Development
Sebastian Nagel
ch1bo
I am freelance software engineer, get excited about functional programming languages and currently work on projects in the blockchain space.
Somewhere in the Alps, Austria
Carlos J. Rivera
cjrcoding
Working on screen, building on chain. Exploring Cardano smart contracts with Haskell and Aiken. Learning in public, one project at a time.
Los Angeles, California
josiah
jb824
CS student at Algonquin College with strong interests in web development, blockchain technologies, and data science.
Sacha Pignot
Soushi888
Full-stack web developer specialized in distributed architecture & collective intelligence.
Montreal
Chris Gianelloni
wolf31o2
CEO & Co-Founder | Director of Platform Engineering | Open Source Developer
Blink Labs USA
Thomas Wedler
Fugu18
(np.array([(p**i *(1-p)**(n-i))*(factorial(n)/(factorial(i)*factorial(n-i))) for i in range(n)[1:]])*([True if x>int(0.5*n) else False for x in range(n)[1:]]))
Singapore
mach-diamond
mach-diamond
Aerospace engineer specialized in spacecraft guidance, navigation, controls, simulation and flight software building full stack blockchain solutions on the side
Miami
