Alternatives and similar repositories for bewelltuned:

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

• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• jethrokuan / org-remembrance
  Remembrance Agents for Org-mode, powered by Recoll
  ☆18Updated 5 years ago
• xelxebar / dayaml
  YAML parser for Dyalog APL
  ☆12Updated last year
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 11 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 4 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 6 months ago
• jethrokuan / srsly
  Spaced-repetition using Hypothes.is
  ☆29Updated 3 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆43Updated last year
• enthdegree / kobo-emacs
  Steps to get emacs running on a Kobo Clara BW
  ☆13Updated last month
• 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
• atlas-engineer / closure
  Closure web engine
  ☆17Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated last month
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 weeks ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• dzaima / BQN386
  ☆16Updated last month
• eudoxia0 / astro-eog581
  Astronomical calculations for The Epiphany of Gliese 581.
  ☆11Updated 2 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated this week
• ffevotte / script2svg
  Produce animated SVG from recorded script sessions
  ☆21Updated 9 years ago
• szos / gash
  an interpretation layer to use guile scheme in the shell
  ☆24Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• otherjoel / cookbook-pollen
  📘🌼 A bunch of Pollen recipes
  ☆30Updated 3 years ago
• secwang / ngnkcart
  ☆15Updated last year
• flancian / agora-server
  Agora Server implementation for the Agora (flancia.org/go/agora).
  ☆59Updated last week
• lambdadog / winter
  [WIP] A wayland compositor configured with scheme
  ☆14Updated 2 years ago