Alternatives and similar repositories for static-site-generator:

Users that are interested in static-site-generator are comparing it to the libraries listed below

• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 4 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆120Updated 2 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 3 weeks ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 months ago
• jmillikin / anansi
  ☆10Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 4 years ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 3 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated last week
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆53Updated 4 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• gilbo / atl
  A Tensor Language
  ☆56Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 9 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago