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
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆31Updated 11 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 5 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆44Updated 6 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated last year
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• bakerjd99 / jacks
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆40Updated 3 weeks ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 9 years ago
• kennknowles / python-either
  Maybe and Either data structures for Python
  ☆17Updated 12 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• msherry / pstats_viewer
  A simple web frontend to view Python pstats files.
  ☆12Updated 2 years ago
• ThomasChiroux / attowiki
  small wiki engine based on static reST files and git for versionning
  ☆26Updated 9 years ago
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Updated 5 years ago
• martinblech / pyfpm
  Scala-like functional pattern matching in Python
  ☆33Updated 13 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• Primetalk / SynapseGrid
  SynapseGrid is a framework for constructing dynamic low latency data flow systems.
  ☆123Updated 4 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆25Updated 6 years ago
• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆30Updated 3 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 12 years ago
• aimacode / aima-scala
  ☆88Updated 5 years ago
• tddpirate / pyguile
  Invoke Python libraries from Guile
  ☆13Updated 8 years ago