High abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.
☆36Apr 13, 2026Updated 4 months 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☆13Jan 22, 2021Updated 5 years ago
- ☆58Jun 29, 2017Updated 9 years ago
- An experiment with Thompson sampling and TD(0) on a grid world variant☆17Nov 8, 2013Updated 12 years ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 3 years ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆13Aug 19, 2017Updated 9 years ago
- Tron Legacy colorscheme for common editors and terminal emulators☆11Feb 18, 2021Updated 5 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- A CLI to make it a breeze to integrate docker to a new or existing Elixir/Phoenix project☆20Aug 23, 2018Updated 8 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
- Notebooks in support of the UMAP paper☆44Oct 12, 2021Updated 4 years ago
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Context switch for XMonad: switch between sets of workspaces☆11Apr 9, 2023Updated 3 years ago
- CLI for testing DOM timings built upon Headless Chrome & Lighthouse 💜☆14Jan 4, 2023Updated 3 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix☆13Mar 6, 2023Updated 3 years ago
- Source code for the VLDB 2021 paper.☆11May 19, 2021Updated 5 years ago
- Simple library for manipulating strings using OpenFST☆12Sep 26, 2021Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell. Py3.10-3.14.☆105Updated this week
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A curated list of resources for using fast.ai's nbdev☆19Jun 24, 2020Updated 6 years ago
- MediaWiki Categories Model☆13Feb 14, 2024Updated 2 years ago
- ☆36Mar 22, 2014Updated 12 years ago
- Easily make Anki flash cards in markdown☆13Sep 20, 2019Updated 6 years ago
- A Leiningen plugin for performing a task with environment variable settings loaded from project.clj☆11Sep 2, 2019Updated 6 years ago
- slides and examples from talks☆19Jun 14, 2018Updated 8 years ago
- The Geometric OptimizAtion Libraries☆20Mar 12, 2025Updated last year
- A domain specific language for building functionally composable steps.☆13Jul 17, 2026Updated last month
- Leightweight generalized parser combinators☆20Nov 23, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- an arrowized category-forward language☆19Oct 14, 2025Updated 10 months ago
- a simple redis-like in pure python☆14Oct 12, 2023Updated 2 years ago
- Hackworth Ltd's Nix helpers.☆13Updated this week
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- A libre software which is providing a backend architecture for collecting data from probes and storing proof of checks.☆11Aug 17, 2026Updated 2 weeks ago
- A better way to manage z-indexes☆11Sep 7, 2021Updated 4 years ago