Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by luavreis

A curated list of projects in awesome lists by luavreis .

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

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

Last synced: 26 Oct 2024

https://github.com/luavreis/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 26 Oct 2024

https://github.com/luavreis/multiwalk

Create traversals and queries of multiple types at once

Last synced: 26 Oct 2024

https://github.com/luavreis/wordiff.el

View Git word diffs in the buffer as overlays. Good for revising prose.

Last synced: 26 Oct 2024

https://github.com/luavreis/org-attach-extra

Useful functions for dealing with org-attach files

org org-attach

Last synced: 26 Oct 2024

https://github.com/luavreis/pointwise-birkhoff

A proof of Pointwise Birkhoff Ergodic Theorem in Lean

Last synced: 26 Oct 2024

https://github.com/luavreis/ix-cat

Generic instances and recursion schemes for the category of indexed types.

Last synced: 26 Oct 2024

https://github.com/luavreis/n-ary

Experiment with n-ary Functors, Foldables, and Traversables. But don't use this. See ix-cat for a better way of doing the same thing.

Last synced: 26 Oct 2024

https://github.com/luavreis/meus-pacotes

Meus pacotes do latex.

Last synced: 26 Oct 2024

https://github.com/luavreis/ergodic-decomposition

Formalization of the ergodic decomposition theorem.

Last synced: 26 Oct 2024

https://github.com/luavreis/incerteza-lab

Calcula a incerteza de expressões. Útil para as disciplinas de laboratório de física.

Last synced: 26 Oct 2024

https://github.com/luavreis/lean4-minimal-mode

Minimalistic Emacs major mode for Lean 4 using Eglot.

emacs emacs-mode lean lean4

Last synced: 29 Sep 2024

https://github.com/luavreis/bilhares.jl

Unorganized Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.

Last synced: 26 Oct 2024

https://github.com/luavreis/lab3exp3

Last synced: 26 Oct 2024

https://github.com/luavreis/xparsejax

MathJax extension providing xparse definitions

Last synced: 26 Oct 2024

https://github.com/luavreis/lab3exp5

Last synced: 26 Oct 2024