High abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.
☆36Apr 22, 2020Updated 5 years ago
Alternatives and similar repositories for pyMonet
Users that are interested in pyMonet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SAT-based miner of smallest size decision sets☆12Jan 22, 2021Updated 5 years ago
- ☆58Jun 29, 2017Updated 8 years ago
- Eve Neo4j extension☆10Dec 29, 2019Updated 6 years ago
- Tool to dump all GPS traces collected by/for the OpenStreetMap project.☆25Mar 6, 2019Updated 7 years ago
- Tron Legacy colorscheme for common editors and terminal emulators☆10Feb 18, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Code repository for Fast Data Processing Systems with SMACK Stack by Packt☆18Jan 18, 2023Updated 3 years ago
- ☆17Dec 3, 2023Updated 2 years ago
- Notebooks in support of the UMAP paper☆44Oct 12, 2021Updated 4 years ago
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 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.
- Functional, composable, asynchronous, type-safe Python.☆156Nov 20, 2023Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Wrapper plugin adding refmt support to Prettier☆12Aug 19, 2020Updated 5 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- Context switch for XMonad: switch between sets of workspaces☆11Apr 9, 2023Updated 3 years ago
- Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix☆13Mar 6, 2023Updated 3 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Eliminate global state without the boilerplate!☆13Dec 18, 2018Updated 7 years ago
- Simple UI framework written in Reasonml.☆81Dec 10, 2022Updated 3 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.
- Earley parser in Emacs Lisp☆16Oct 3, 2019Updated 6 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Updated this week
- Functors, Applicatives, And Monads in Python☆748Nov 17, 2025Updated 4 months ago
- MediaWiki Categories Model☆13Feb 14, 2024Updated 2 years ago
- My private config for Doom Emacs☆11Sep 30, 2022Updated 3 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- `Black` for Jupyter notebooks.☆19Apr 23, 2020Updated 5 years ago
- The Geometric OptimizAtion Libraries☆18Mar 12, 2025Updated last year
- A Leiningen plugin for performing a task with environment variable settings loaded from project.clj☆11Sep 2, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- slides and examples from talks☆19Jun 14, 2018Updated 7 years ago
- Easily make Anki flash cards in markdown☆13Sep 20, 2019Updated 6 years ago
- A shell power-up for working with the file system and running subprocess commands☆76Oct 3, 2023Updated 2 years ago
- Stack language compiled to lua☆24Feb 3, 2025Updated last year
- Eye-saver modification of Stylish/Stylus interface admin/backend.☆12Jul 2, 2020Updated 5 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- a simple redis-like in pure python☆14Oct 12, 2023Updated 2 years ago