Alternatives and similar repositories for pyalgs

Users that are interested in pyalgs are comparing it to the libraries listed below

• tek / amino
  functional data structures and utilities for python
  ☆36Updated 6 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆44Updated 6 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• msherry / pstats_viewer
  A simple web frontend to view Python pstats files.
  ☆12Updated 2 years ago
• twisted / axiom
  Divmod Axiom is an object database, or alternatively, an object-relational mapper, implemented on top of Python.
  ☆25Updated 3 years ago
• orome / crypto-enigma-hs
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Updated 3 years ago
• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆31Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆21Updated 8 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 3 weeks ago
• ThomasChiroux / attowiki
  small wiki engine based on static reST files and git for versionning
  ☆25Updated 10 years ago
• owickstrom / automating-the-build-of-your-technical-presentation-template
  The full template for "Automating the Build of your Technical Presentation"
  ☆26Updated 8 years ago
• fnl / pymonad
  "fork" of PyMonad on BitBucket to change the ``*`` functor/composition operator to ``<<``
  ☆31Updated 11 years ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆32Updated 11 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆14Updated 8 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 9 years ago
• sixty-north / python-transducers
  ☆58Updated 8 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆22Updated 4 months ago
• mgax / kv
  Simple key-value store backed by sqlite
  ☆16Updated last year
• bartavelle / language-puppet
  A library to work with Puppet manifests, test them and eventually replace everything ruby.
  ☆52Updated 2 years ago
• kennknowles / python-rightarrow
  A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…
  ☆59Updated 12 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 11 years ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 9 months ago
• leithaus / XTrace
  An XML-validation-based trace validator
  ☆93Updated 15 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆24Updated 10 years ago
• creativescala / creative-scala-template
  Template for those following Creative Scala
  ☆17Updated last year