Alternatives and similar repositories for Awesome-FLOSS-CAS

Users that are interested in Awesome-FLOSS-CAS are comparing it to the libraries listed below

• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆17Updated 4 months ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆23Updated last week
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated this week
• qo / term
  emulate terminal screenshots in typst
  ☆38Updated last year
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated last month
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆22Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated 2 months ago
• Marmare314 / lemmify
  A library for typesetting mathematical theorems in typst.
  ☆18Updated 7 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated 2 weeks ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 2 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month
• lvignoli / typst-pandoc
  Typst custom reader and writer for Pandoc
  ☆46Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• curry-language / kics2
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆11Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• WolframResearch / LSPServer
  LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…
  ☆53Updated 2 years ago
• MathBases / MathBases
  ☆25Updated 2 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• Ismael-VC / Varvara.jl
  [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.
  ☆14Updated last year
• herlev / inktyp
  Insert and edit Typst equations in Inkscape
  ☆23Updated last year
• TuringLang / JuliaBUGS.jl
  A domain specific language (DSL) for probabilistic graphical models
  ☆60Updated this week
• EpicEricEE / typst-equate
  A Typst package for various enhancements for mathematical expressions.
  ☆29Updated last month
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated last week
• Mc-Zen / quill
  Effortlessly create quantum circuit diagrams in Typst.
  ☆92Updated this week
• RimuQMC / Rimu.jl
  Random Integrators for many-body quantum systems
  ☆115Updated last week
• JuliaPhysics / SolidStateDetectors.jl
  Solid state detector field and charge drift simulation in Julia
  ☆141Updated last week
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆276Updated last week
• xkevio / typst-anki
  Typst Math within Anki flashcards.
  ☆11Updated 8 months ago