Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
☆50Jun 5, 2024Updated 2 years ago
Alternatives and similar repositories for scat
Users that are interested in scat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 8 years ago
- An implementation of the 7GUIs in reflex-dom☆17Jun 1, 2016Updated 10 years ago
- Bolts: Stainless Verified Scala Examples☆29Aug 4, 2026Updated last week
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Command-line tool for formatting and publishing blog posts.☆20Aug 19, 2023Updated 2 years ago
- LL(1) parser combinators in Scala☆63May 11, 2026Updated 3 months ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- Solver for higher-order functional programs, used by Stainless☆96Updated this week
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- Haskell bindings for Dear Imgui☆11Dec 19, 2019Updated 6 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆18Oct 19, 2022Updated 3 years ago
- OpenGL and SDL2 bindings for Scala Native☆46Aug 2, 2022Updated 4 years ago
- Content for the stackage.org site☆11Jun 9, 2026Updated 2 months ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- A scala-native bridge to Cocoa☆22Apr 11, 2023Updated 3 years ago
- Haskell library for AWS☆22Oct 14, 2019Updated 6 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Pomodoro TUI made in Haskell☆15Jun 30, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- A shebang for running scripts inside nix-shell with defined dependencies☆27Mar 23, 2020Updated 6 years ago
- Starfield renderer☆11Jun 26, 2019Updated 7 years ago
- Haskell: Overengineered GHCJS + react-flux playground☆14Jan 24, 2017Updated 9 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- Display output of scripts in the macOS status bar☆15Updated this week
- Haskell client driver for RethinkDB☆20Mar 14, 2021Updated 5 years ago
- Card game using Haskell miso☆13May 6, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The CafeSat SMT solver for Scala☆50Oct 31, 2021Updated 4 years ago
- See http://hackage.haskell.org/package/sproxy2☆35Aug 16, 2017Updated 8 years ago
- ☆25Jun 10, 2023Updated 3 years ago
- An example of reflex-dom built by Stack☆23Aug 13, 2016Updated 10 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 6 years ago
- Extra concurrency primitives☆17Nov 25, 2018Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago