Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by lucasvreis

A curated list of projects in awesome lists by lucasvreis .

https://github.com/lucasvreis/org-mode-hs

Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄

Last synced: 02 Aug 2024

https://github.com/lucasvreis/organon

📖 view and generate static websites from your Org files (WIP).

ema haskell latex org-mode org-roam static-site-generator template zettelkasten

Last synced: 02 Aug 2024

https://github.com/lucasvreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 02 Aug 2024

https://github.com/lucasvreis/multiwalk

Create traversals and queries of multiple types at once

Last synced: 02 Aug 2024

https://github.com/lucasvreis/BirkhoffErgodicThm

A proof of Pointwise Birkhoff Ergodic Theorem in Lean

Last synced: 09 Aug 2024