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
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 9 months ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 3 weeks ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆34Updated 3 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 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
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆16Updated 5 years ago
• fnl / pymonad
  "fork" of PyMonad on BitBucket to change the ``*`` functor/composition operator to ``<<``
  ☆31Updated 11 years ago
• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 9 years ago
• fcpbook / code
  Resources for the book "Functional and Concurrent Programming"
  ☆18Updated 3 weeks ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆17Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 3 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• msherry / pstats_viewer
  A simple web frontend to view Python pstats files.
  ☆12Updated 2 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆44Updated 6 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆14Updated 8 years ago
• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆31Updated 4 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• UdashFramework / udash.g8
  Giter8 template of a Udash application.
  ☆19Updated 2 years ago
• leithaus / XTrace
  An XML-validation-based trace validator
  ☆93Updated 15 years ago
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Updated 5 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 9 years ago
• elbaulp / Scala-Category-Theory
  Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
  ☆33Updated 7 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 6 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆22Updated 4 months ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆32Updated 11 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago