Kind | pandoc | |
---|---|---|
4 | 420 | |
3,452 | 32,396 | |
1.4% | - | |
4.8 | 9.8 | |
17 days ago | 8 days ago | |
Rust | Haskell | |
MIT License | GNU General Public License v2.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Kind
- Kind: A lambda-calculus based pure programming language
-
Can one use lambda calculus as an IR?
Depending on what you mean by practical it already is! https://github.com/HigherOrderCO/Kind HVM was developed to be an efficient backend for the Kind language from the same folks
-
First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
One thing that you can use right now is Kind, a functional language and proof assistant.
-
Brett Slatkin: Why am I building a new functional programming language?
Hey, that's pretty cool! The lang that targets this runtime is https://github.com/HigherOrderCO/Kind
pandoc
-
Beautifying Org Mode in Emacs (2018)
My main authoring tool is then Emacs Markdown Mode (https://jblevins.org/projects/markdown-mode/). For data entry, it comes with some bells and whistles similar to org-mode, like C-c C-l for inserting links etc.
I seldom export my notes for external usage, but if it is the case, I use lowdown (https://kristaps.bsd.lv/lowdown/) which also comes with some nice output targets (among the more unusual are Groff and Terminal). Of cource pandoc (https://pandoc.org/) does a very good job here, too.
-
Show HN: I made a tool to clean and convert any webpage to Markdown
This is one of those things that the ever-amazing pandoc (https://pandoc.org/) does very well, on top of supporting virtually every other document format.
-
LaTeX makes me so angry at word
Folks feel the same way about Markdown versus LaTeX: why use something significantly more complicated where a looser, human-readable grammar works better?
For any other situations, I use https://pandoc.org/, or, generate a Word doc scriptomatically.
-
📓 Versionner et builder l'eBook de son Entretien Annuel d'Evaluation sur Git(Hub)
pandoc toolchain pour builder une version confortable/imprimable en phase de travail (ePub, pdf, docx, html)
-
Launch HN: Onedoc (YC W24) – A better way to create PDFs
Congrats on the launch, I guess, but there are so many free options that I can't think of a situation where paying $0.25 per document would be justified...? Just to name a few:
Back in the days, I used to use XSL-FO [0] and it was okay. It was not very precise but it rarely if ever broke, and was perfectly integrated with an XML/XSLT solution. Yeah, this was a long time ago.
Last month I used html-to-pdfmake [1] and it's also not very precise and more fragile, but very efficient and fast.
Yet another approach would be to pro grammatically generate .rtf files (for example) and use Pandoc [2] to produce PDFs (I have not tried this in production but don't see why it wouldn't work).
[0] https://en.wikipedia.org/wiki/XSL_Formatting_Objects
[1] https://www.npmjs.com/package/html-to-pdfmake
[2] https://pandoc.org/
-
Ask HN: Looking for lightweight personal blogging platform
Others have mentioned static site generators. I like Hakyll [1] because it can tightly integrate with Pandoc [2] and allows you to develop custom solutions if your needs ever grow.
[1]: https://jaspervdj.be/hakyll/
[2]: https://pandoc.org/
-
Show HN: CLI for generating beautiful PDF for offline reading
Have you compared it with a conversion by pandoc (https://pandoc.org/)?
-
Pandoc
I have used it to kickstart a blogging project that I wish to come back to soon. The Lua inter-op for custom readers, writers and filters is great but I wish there was more editor integration and even perhaps an official IDE/editor with built-in debugging features (probably something already do-able with Emacs but I haven't checked). The only blocker for my project is no support for "ChunkedDoc" for Lua filters [1] which forces me to write more code and a complicated Makefile.
[1]: https://github.com/jgm/pandoc/issues/9061
- I don't always use LaTeX, but when I do, I compile to HTML (2013)
- What Happened to Pandoc-Discuss?
What are some alternatives?
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
pandoc-highlighting-extensions - Extensions to Pandoc syntax highlighting
HVM - A massively parallel, optimal functional runtime in Rust
obsidian-html - :file_cabinet: A simple tool to convert an Obsidian vault into a static directory of HTML files.
meta-cedille - Minimalistic dependent type theory with syntactic metaprogramming
obsidian-export - Rust library and CLI to export an Obsidian vault to regular Markdown
julia - The Julia Programming Language
Obsidian-MD-To-PDF - A command line python script to convert Obsidian md files to a pdf
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
kramdown - kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.
ECMAScript 6 compatibility table - ECMAScript compatibility tables
wavedrom - :ocean: Digital timing diagram rendering engine