Alternatives and similar repositories for Pi-e

Users that are interested in Pi-e are comparing it to the libraries listed below

• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆24Updated 2 weeks ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 months ago
• leanprover / lean-client-js
  ☆38Updated last year
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• DXsmiley / rtex
  Minimal LaTeX rendering server
  ☆14Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated last week
• ArchiveTeam / yahooanswers-grab
  Saving all questions and answers from Yahoo! Answers.
  ☆50Updated 4 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• ncase / mental-health
  Mental Health Tips (ft. Anxiety Wolf)
  ☆75Updated last month
• otherjoel / vim-pollen
  ⌨️🌼 Syntax highlighting for Pollen (a Racket language)
  ☆17Updated 5 years ago
• isle-project / isle-editor
  Editor for ISLE (Integrated Statistics Learning Environment) lessons.
  ☆16Updated last year
• denismm / mystical_ps
  ☆96Updated this week
• mathjax / mathjax-node-cli
  CLI tools for mathjax-node
  ☆33Updated last year
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated 2 years ago
• xojoc / discussions
  Find discussions around the web
  ☆22Updated 4 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆15Updated 7 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated last month
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• Torvaney / flow-solver
  Solving the "Flow Free" game (mobile app) with Clojure and SAT
  ☆11Updated 5 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆148Updated 3 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• jamesma100 / randomart
  random art generator for cryptographic keys
  ☆23Updated last week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month