scalaz / scalaz-cryptoView external linksLinks
Purely-functional library for the discriminating cryptographer.
☆10Dec 12, 2017Updated 8 years ago
Alternatives and similar repositories for scalaz-crypto
Users that are interested in scalaz-crypto are comparing it to the libraries listed below
Sorting:
- Scalatest bindings for scalaz.☆23Feb 19, 2017Updated 8 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- An experimental Function Development Kit for the Rust language☆13Aug 13, 2021Updated 4 years ago
- The pure testing library by scalaz.☆89Nov 8, 2019Updated 6 years ago
- ☆12Aug 24, 2020Updated 5 years ago
- Proof-of-stake blockchain consensus simulator☆10Oct 19, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Exploration of spark streaming based on the BigData.be project 2☆15Sep 2, 2013Updated 12 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- a network tunneling proxy written in go☆32Jan 1, 2026Updated last month
- [DEPRECATED] A shared library to be used across any of the Game Jolt sites. Mostly frontend components, styling, and build framework.☆11Jun 13, 2020Updated 5 years ago
- Java library for working with the QUDT ontology and data using it.☆15Aug 16, 2025Updated 6 months ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- ☆11Mar 8, 2018Updated 7 years ago
- Semantic Vocab for the Internet of Things☆13Nov 3, 2016Updated 9 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- ☆14Apr 17, 2022Updated 3 years ago
- R <-> Common Lisp gateway (written by Rif, maintained by Tony Rossini)☆16Apr 17, 2009Updated 16 years ago
- Implementation of Deep Back-Projection Networks For Super-Resolution using Tf and Keras☆11Oct 15, 2018Updated 7 years ago
- Principled, fast, typeclass derivation.☆54Updated this week
- Profiling library☆15Jan 15, 2026Updated last month
- Continuous integration for a basic Node.js project with Shippable https://www.shippable.com☆11Aug 23, 2024Updated last year
- ☆21Apr 27, 2023Updated 2 years ago
- Basic dataset for the linguistic data collection.☆15Feb 13, 2017Updated 9 years ago
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- Collection of source codes from articles of http://www.beyondjava.net☆11Jun 3, 2021Updated 4 years ago
- The standard http4s quickstart, but using ZIO via cats-effect interop☆10May 27, 2019Updated 6 years ago
- Code from my JetBrains Webinar☆23Jul 26, 2018Updated 7 years ago
- A starter kit for using Typescript with IBM Cloud Functions☆11Apr 25, 2019Updated 6 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- ☆12Dec 6, 2020Updated 5 years ago
- Well... my dotfiles!☆14Updated this week
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- FFI for OpenCL☆12Dec 19, 2015Updated 10 years ago
- Benchmark of a simple GraphQL server on popular spec implementations☆14Dec 5, 2023Updated 2 years ago
- Several approaches for bumping up image resolution with NNs (GANs)☆12Feb 17, 2019Updated 6 years ago
- A micro compiler for the FORTH programming language☆13May 28, 2021Updated 4 years ago