Functional Engineering
Functional technologies
In Functional Engineering we focus on using typed, functional languages and tools to build composable, secure software that scales.
Pick all 3!
Fast
We bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget.
Correct
Bugs are tedious to spot. So we build programs that find bugs in other programs. State what behaviours you want - we'll automate the rest!
Maintainable
We use functional programming to build apps and services from the ground up as composable, interchangeable, permutable atoms and molecules.
What we do
Tweag in the Cardano space!
Our team is at the forefront of transformative contributions, driving advancements from Cardano's core to its latest products and groundbreaking research. With over a decade of experience in Haskell and Nix, we not only enhance Cardano but also create powerful synergies that propel the entire community forward. Join us as we shape the future of decentralized technology!
Peras
Fast Settlement: Reduces transaction confirmation time from hours to minutes.
Genesis
A series of enhancements to the already robust Ouroboros protocol, with countermeasures to protect a network node when it is new or returning after an absence.
cooked-validators
A Haskell library designed to simplify the complex process of crafting and testing transactions on the Cardano blockchain
Trusted by
and more!
