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
• msherry / pstats_viewer
  A simple web frontend to view Python pstats files.
  ☆12Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• fnl / pymonad
  "fork" of PyMonad on BitBucket to change the ``*`` functor/composition operator to ``<<``
  ☆31Updated 11 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• ThomasChiroux / attowiki
  small wiki engine based on static reST files and git for versionning
  ☆26Updated 9 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• UdashFramework / udash.g8
  Giter8 template of a Udash application.
  ☆19Updated 2 years ago
• txt / mase
  Teaching materials for Model-based Automated Software Engineering
  ☆14Updated 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
• MoeOrganization / moe
  An -OFun prototype of an Ultra Modern Perl 5
  ☆279Updated 12 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆34Updated 2 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆48Updated 10 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 12 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆16Updated 10 years ago
• kappamodeler / kappa
  A domain-specific language that allows the expression or protein interactions that can be used to build executable models.
  ☆23Updated 2 years ago
• fcpbook / code
  Resources for the book "Functional and Concurrent Programming"
  ☆17Updated 5 months ago
• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆30Updated 4 years ago
• leithaus / XTrace
  An XML-validation-based trace validator
  ☆93Updated 15 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 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
• pSpaces / jSpace
  Programming with Spaces in Java
  ☆18Updated 2 years ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆31Updated 11 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 6 years ago
• playframework / interplay
  Common sbt plugins for Play modules
  ☆12Updated 2 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated last year
• kjosib / booze-tools
  Booze Tools will become the complete programming-language development workbench, all written in Python 3.9 (for now).
  ☆17Updated 9 months ago
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago