psibi / how-to-proveView external linksLinks
My Solution to Velleman's book
☆267Oct 2, 2025Updated 4 months ago
Alternatives and similar repositories for how-to-prove
Users that are interested in how-to-prove are comparing it to the libraries listed below
Sorting:
- ☆46Jan 5, 2025Updated last year
- Inline Haskell inside your Python code☆25Jan 13, 2026Updated last month
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated last year
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated 3 weeks ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Feb 4, 2026Updated last week
- A command-line replacement for the Google Authenticator App☆25Nov 6, 2023Updated 2 years ago
- PureScript version management in PureScript.☆14Jan 27, 2023Updated 3 years ago
- simple set of functions and cli for image manipulation☆12Feb 4, 2017Updated 9 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 4 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- Get a certificate using Let's Encrypt ACME protocol☆13Jun 16, 2017Updated 8 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- A greyscale theme with look-n-feel of an eink display☆12Apr 15, 2023Updated 2 years ago
- A Starter kit for Purescript-Concur. Uses Parcel.☆14Feb 2, 2023Updated 3 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- ☆18Dec 9, 2025Updated 2 months ago
- The missing Firefox OS file manager☆13Nov 12, 2019Updated 6 years ago
- GHC plugin to make stream fusion more predictable☆18Dec 4, 2025Updated 2 months ago
- Elisp(Emacs Lisp) backend for PureScript☆11Feb 8, 2022Updated 4 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Aug 30, 2025Updated 5 months ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 12, 2024Updated last year
- ☆21Jul 1, 2024Updated last year
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 3 months ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- Utility for managing credentials securely in AWS cloud☆19Jun 15, 2023Updated 2 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Read Typescript source and write Purescript types☆16Oct 8, 2019Updated 6 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 7 years ago
- AngularJS 1.2 bindings for PureScript (currently in the experimental stage)☆23Jun 15, 2015Updated 10 years ago
- ☆14Dec 28, 2020Updated 5 years ago
- ☆14Sep 24, 2017Updated 8 years ago