A simple and beautiful theme for Jekyll
☆60Mar 27, 2018Updated 7 years ago
Alternatives and similar repositories for typewriter
Users that are interested in typewriter are comparing it to the libraries listed below
Sorting:
- Template for a simple thesis or dissertation (bachelor's, master's, Ph.D.) or technical report, in XeLaTeX.☆14Jun 29, 2019Updated 6 years ago
- block-log , A Jekyll theme☆31Jun 16, 2019Updated 6 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- A small tool to generate gresource files☆11Aug 6, 2015Updated 10 years ago
- Herring Cove is a clean and responsive theme for Jekyll.☆155Jan 20, 2019Updated 7 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Simple jekyll theme☆102Apr 20, 2018Updated 7 years ago
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- A responsive Jekyll theme.☆222Nov 6, 2019Updated 6 years ago
- Port of WebMachine (v1.3) for Node.js☆69Mar 26, 2011Updated 14 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21May 27, 2020Updated 5 years ago
- A source mapping tool that visualizes a source map for ya, what else☆36Jul 9, 2016Updated 9 years ago
- A Mirocservice Framework (Incubating)☆10Apr 26, 2018Updated 7 years ago
- The numerical version of bulls and cows game.☆22Nov 10, 2023Updated 2 years ago
- The Jekyll theme for your personal landing page.☆196Jun 25, 2024Updated last year
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- planet.rb quick starter script - (auto-) add articles & blog posts to your (jekyll & friends) static website via feeds (and planet pluto)☆35Mar 11, 2020Updated 5 years ago
- A Liquid tag plugin for Jekyll that renders a version identifier for your Jekyll site, sourced from the git repository.☆29May 26, 2021Updated 4 years ago
- A Modern, Clean, Jekyll Blog Layout based from codedrops☆249Apr 7, 2023Updated 2 years ago
- jekyll starter theme w/ bootstrap (sass version)☆58Oct 15, 2020Updated 5 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 10 years ago
- a simple jekyll theme☆155Oct 23, 2020Updated 5 years ago
- [Unmaintained] A Bootstrap-based Jekyll Theme.☆328Jan 20, 2022Updated 4 years ago
- A book about large-scale design in Haskell☆75Sep 23, 2014Updated 11 years ago
- VPSC Automation in MTEX for Polycrystal plasticitY Research. An API to quickly automate VPSC using MATLAB and MTEX.☆12Dec 17, 2025Updated 2 months ago
- Bringing Mandatory Access Control to Android apps☆11Dec 20, 2021Updated 4 years ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated 8 months ago
- The Little Library is an open source app that allows you to upload, store, and share creative commons licensed content across computers a…☆16Mar 25, 2013Updated 12 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- ☆60Jul 2, 2024Updated last year
- High resolution vector (SVG) icons to help you create GOV.UK user flow diagrams☆18Jun 8, 2021Updated 4 years ago
- Convert asciinema JSON files to GIF for embedding in Github, Medium, email, Slack and more!☆11Sep 24, 2020Updated 5 years ago
- IPython notebooks for "Computer Simulations of Sensory Systems"☆10Nov 15, 2024Updated last year
- ☆11Oct 6, 2022Updated 3 years ago
- A python based Thingiverse.com object scraper and downloader☆12Dec 8, 2022Updated 3 years ago