A small, secure, and auditable "Change My Password" web application.
☆12Mar 9, 2016Updated 10 years ago
Alternatives and similar repositories for web-chpass
Users that are interested in web-chpass are comparing it to the libraries listed below
Sorting:
- A* Path finding for PNG mazes, from Ruby now in Crystal. Using StumpyPNG☆22Feb 4, 2020Updated 6 years ago
- A lightweight, customizable, interpreted programming language☆12Nov 10, 2019Updated 6 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- currently vaporware☆12Aug 25, 2020Updated 5 years ago
- Extensions (e.g. drawing functions) for stumpy_core☆10Sep 18, 2020Updated 5 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- A portable environment for Urbit dev☆11Jun 30, 2022Updated 3 years ago
- A systems theorem prover☆11Jun 25, 2024Updated last year
- My Personal Website☆14Mar 2, 2026Updated last week
- Stack Exchange for Urbit☆13Aug 26, 2023Updated 2 years ago
- ☆15Nov 20, 2025Updated 3 months ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- add "Microformats 2" classes to your WordPress theme☆24Aug 7, 2025Updated 7 months ago
- ☆14Sep 10, 2023Updated 2 years ago
- Proof of concept for type system with unions, intersections and complements.☆15Apr 21, 2023Updated 2 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- An experimental library for metaprogramming with algebraic effects and handlers☆28Updated this week
- ☆14Jan 31, 2021Updated 5 years ago
- Indie likes and reposts plugin for Known☆11Dec 6, 2024Updated last year
- Twitter scraping library☆11Nov 11, 2021Updated 4 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- A JS client-side library for creating graphic and interactive experiences, based on the core principles of Processing.☆11Oct 3, 2016Updated 9 years ago
- Proof-of-concept clay visualizer☆24Dec 5, 2022Updated 3 years ago
- ☆14Mar 11, 2024Updated last year
- An editor for non-euclidean worlds.☆19Apr 21, 2023Updated 2 years ago
- my bash code golfs☆16Mar 31, 2019Updated 6 years ago
- Display custom icons on system tray☆14Jan 24, 2022Updated 4 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- Synthesizable Uxn CPU☆17Jul 14, 2022Updated 3 years ago
- Earth to Mars communication done right☆17Aug 25, 2023Updated 2 years ago
- OpenAPI ↔ Python. To/fro routes, models, and tests. Convert between docstrings, classes, methods, argparse, SQLalchemy, Pydantic, JSON-sc…☆20Jul 29, 2025Updated 7 months ago
- Consistent Scala-like holes to increase code expressivity☆48Jan 3, 2018Updated 8 years ago
- Modeling futexes in TLA+☆20Oct 6, 2024Updated last year
- NanoVG Haskell bindings☆22May 17, 2023Updated 2 years ago
- Java bytecode virus proof of concept (jarfile self-replication)☆17Jun 9, 2023Updated 2 years ago
- Haskell bindings to WGPU Native☆22Aug 25, 2025Updated 6 months ago
- Tree-sitter grammar for urbit language hoon☆18Dec 17, 2024Updated last year
- Search for images with Google, without the use of Custom Search JSON/Atom API☆18Jun 14, 2017Updated 8 years ago