- Zürich
Adam Dean
Crypto2099
Creator of Buffy Bot Publishing, former Cardano stake pool operator, passionate Cardano community member.
Buffy Bot Publishing, LLC USA
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Marcin Szamotulski
coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
Divesh Otwani
Divesh-Otwani
I'm a Haskeller/FP, and a lover of {pure math, classic literature, poetry, martial arts, and hard problems}. Was a Math+CS major at Haverford College.
@droitfintech Plainsboro NJ
Nallasivan Govindasamy
nallasivang
Developer with Passion - 100% Technical Person who wanted to do better code to make something extraordinary. Learning new things is my true hobby, love to code
@hexaware Chennai, India
Deepak Kapiswe
DeepakKapiswe
I mainly write Haskell Code along with postgres but enjoying React too 😊
Inchora Ltd Pune, Maharastra INDIA
AdLucem
Enthusiastic about NLP, Deep Learning and Functional Programming- and combining the three.
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Charlie Dyson
Charlie-TalentBase
Technology Recruiter currently looking for talented Software Engineers with an interest in functional programming and learning new tech. Feel free to email me!
TalentBase Resourcing LTD London
PreviousNext