Alternatives and similar repositories for bewelltuned:

Users that are interested in bewelltuned are comparing it to the libraries listed below

• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 2 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated last week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆18Updated 3 weeks ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 6 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 6 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• eudoxia0 / spaced-repetition-tools
  Scripts for generating flashcards.
  ☆37Updated last year
• jethrokuan / srsly
  Spaced-repetition using Hypothes.is
  ☆29Updated 3 years ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆17Updated 7 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆15Updated last year
• alphapapa / elexandria
  Alexandria-like library for Emacs Lisp
  ☆13Updated 4 years ago
• jethrokuan / srs.ly
  SRS with Hypothes.is
  ☆14Updated 3 years ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆21Updated last month
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 4 months ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆42Updated 9 months ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated this week
• bqv / guix
  A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork
  ☆15Updated 4 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆64Updated 2 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 months ago
• jethrokuan / org-remembrance
  Remembrance Agents for Org-mode, powered by Recoll
  ☆18Updated 5 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 4 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated last month
• xojoc / discussions
  Find discussions around the web
  ☆19Updated last week