News
Capabilities
Functional Engineering
Scalable Builds
Open source
Technical groups
Contributions and projects
Careers
Research
Blog
Contact
Modus Create
News
Capabilities
Functional Engineering
Scalable Builds
Open source
Technical groups
Contributions and projects
Careers
Research
Blog
Contact
Modus Create
smart-contracts
haskell
nix
bazel
data-science
devops
nickel
cardano
linear-types
python
internship
statistics
rust
build-systems
ghc
formal-methods
fellowship
plutus
data-engineering
high-assurance
liquidhaskell
...
Blog posts
A journey through the auditing process of a smart contract
May 11, 2023
Testing stateful systems, part two: Linear Temporal Logic
October 14, 2022
Introducing Pirouette 2: formal methods for smart contracts
July 01, 2022
Our first audit of Minswap and the aftermath
March 25, 2022
Company
About
Open Source
Careers
Contact Us
What we do
Functional Engineering
Scalable builds
Insights
Blog
Modus Blog
Research
Connect with us
© 2025 Modus Create, LLC
Privacy Policy
Sitemap
