rubenvannieuwpoort / static-site-generator

Related projects ⓘ

Alternatives and complementary repositories for static-site-generator

• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆36Updated 8 months 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 9 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• graydon / exhaustigen
  ☆10Updated 3 years ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆17Updated 2 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 weeks ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated last month
• anonx3247 / mathlang
  A simpler syntax for math typesetting written in go, converts to LaTeX math
  ☆27Updated last year
• PlanetAPL / openAPL
  ☆21Updated 7 years ago
• leahneukirchen / te
  tiny emacs
  ☆25Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated 10 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆38Updated 3 years ago
• snorerot13 / grap
  ☆31Updated 6 months ago
• quinnj / Ryu.jl
  Julia implementation of https://github.com/ulfjack/ryu
  ☆10Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated this week
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆37Updated 4 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• climech / tfw
  The Unix way to keep a personal journal
  ☆16Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• jaredkrinke / learn-scheme
  Learn Lisp interactively!
  ☆29Updated 8 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 5 months ago