A static site generator which supports markdown with LaTeX.
☆18Jul 30, 2025Updated 9 months ago
Alternatives and similar repositories for static-site-generator
Users that are interested in static-site-generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yes, you should use an ad blocker☆14Sep 18, 2025Updated 7 months ago
- A Python implementation of the Lox language, from the book Crafting Interpreters by Bob Nystrom☆13Aug 21, 2019Updated 6 years ago
- An example blog application with a react / redux front end and a rust / rocket / postgres backend☆10Jan 31, 2017Updated 9 years ago
- PostgreSQL procedural language handler for Scheme programming language.☆12Nov 5, 2024Updated last year
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jan 19, 2026Updated 3 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- ☆16Mar 18, 2024Updated 2 years ago
- A plugin that checks all rel="me" links are reciprocal, doing distributed verification☆19Nov 25, 2018Updated 7 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- OCaml code to construct an NFA from a regular expression☆54Mar 26, 2026Updated last month
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)☆15May 7, 2021Updated 5 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 9 years ago
- ☆22Jul 23, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Mar 31, 2024Updated 2 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 7 years ago
- Perl script for replacing dollars in LaTeX documents by their LaTeX versions.☆13Aug 24, 2021Updated 4 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated 10 months ago
- epsilon is a scanner generator☆29Jun 12, 2022Updated 3 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 6 years ago
- Automatic LaTeX Plugin is one of the leading LaTeX plugin for Vim☆44May 13, 2020Updated 5 years ago
- Keyoxidizer - Interactive Keyoxide helper☆20Mar 3, 2025Updated last year
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 9 months ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- To have a map of the Pharo related projects☆24May 16, 2023Updated 2 years ago
- This repository is the source directory for my OpenPGP Keyserver's website☆21Jan 5, 2020Updated 6 years ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Apr 27, 2016Updated 10 years ago
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- Automated Theorem Prover for Automatic Words☆21Apr 7, 2021Updated 5 years ago
- Scans WordHunt board and sends over gcode file to 3d printer to automatically solve for words.☆13Apr 27, 2024Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Mar 22, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Vi-like editing with the Xi core, written in pure Rust☆26May 7, 2018Updated 8 years ago
- A PowerShell script to install TCC on Windows.☆13Mar 4, 2025Updated last year
- Convert s-expressions input to HTML output.☆49Jul 10, 2024Updated last year
- Basic MT940 parser with implementations of Dutch banks☆27Jan 20, 2023Updated 3 years ago
- ☆21Jun 12, 2023Updated 2 years ago
- Homebrew formulae for formal methods☆37Jul 28, 2025Updated 9 months ago
- There's no place like ~☆22Apr 18, 2026Updated 3 weeks ago