A collection of sweet.js macros that provide contract support for JavaScript!
☆55Jun 10, 2013Updated 12 years ago
Alternatives and similar repositories for sweet-contracts
Users that are interested in sweet-contracts are comparing it to the libraries listed below
Sorting:
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- Add shorthand convenience functions to your JavaScript☆29Jan 27, 2014Updated 12 years ago
- Painlessly enhance your JavaScript with monadic types☆14Oct 22, 2015Updated 10 years ago
- Multihash Haskell implementation☆28May 9, 2023Updated 2 years ago
- ☆10Jun 21, 2021Updated 4 years ago
- WAI based library for web api☆28Jan 29, 2026Updated last month
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Debugger for Cerebral☆34Jan 23, 2026Updated last month
- Simple recipes for lazy programmers.☆37Oct 8, 2020Updated 5 years ago
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- Empirical XRF Calibrations☆19Jan 16, 2026Updated last month
- Sources for https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/☆37Jun 21, 2023Updated 2 years ago
- Automatically Analyze Your EKS Storage Usage☆17Dec 18, 2024Updated last year
- DEPRECATED — Reddit tip bot☆26Jan 19, 2020Updated 6 years ago
- Documentation for the Origins mod for Fabric.☆13Jul 1, 2025Updated 8 months ago
- A React hook to keep track of state changes for undo/redo functionality.☆11Feb 3, 2023Updated 3 years ago
- Hook for persisting and rehydrating state in the React app☆10Nov 16, 2019Updated 6 years ago
- A function to manipulate browser storages, v2023.3.19 is ready on NPM☆11Apr 30, 2024Updated last year
- Easily route a .local domain to your computer☆41Oct 9, 2015Updated 10 years ago
- Creating ZFS disks under Linux☆10Nov 4, 2020Updated 5 years ago
- Awami Nastaliq font project☆14Feb 19, 2026Updated 2 weeks ago
- A card game framework and various games in Typescript. The framework allows for bot development and playing card games in the terminal or…☆15Feb 10, 2026Updated 3 weeks ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- An Aragon template featuring Moloch-style ragequit functionality☆12Feb 1, 2022Updated 4 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Bulma.css, in scss format☆11Updated this week
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆15Feb 10, 2015Updated 11 years ago
- ☆12May 22, 2016Updated 9 years ago
- Loggly client for node.js☆26Sep 28, 2014Updated 11 years ago
- Raspberry Pi night vision goggle code. python code that creates a side by side stero view (steroscopic) from a single camera☆13May 8, 2021Updated 4 years ago
- Terminal based GUI for choosing which Foreman services to run.☆10Mar 7, 2015Updated 11 years ago
- A Clojure facade for the FoundationDB record-layer☆15Dec 10, 2025Updated 2 months ago
- A open source mongo orchestration tool with high hopes☆10Jan 7, 2023Updated 3 years ago
- Provides LiveReload.js compatible server as Boot task☆11Nov 28, 2017Updated 8 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Reactive Angular component library☆11Jun 10, 2022Updated 3 years ago