Search Results for "odin-tool"
Sort By:
Showing 2 open source projects for "odin-tool"
View related business solutions-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
LiquidHaskell
Liquid Types For Haskell
This is the development site of the LiquidHaskell formal verification tool. If you're a LiquidHaskell user (or just curious), you probably want to go to the documentation website instead. LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce important properties at compile time. LH warns you that head is not total as it is missing the case for [] and checks that it is total on NonEmpty lists. -
2
lesspass
The Stateless Password Manager
An unofficial haskell implementation of Lesspass - The Stateless Password Manager. This is a haskell-native port of the Python program Lesspass which generates passwords on-the-fly instead of saving them in a database. It does not rely on Python. It produces the same passwords as the official Python program.
- Previous
- You're on page 1
- Next
