Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/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
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/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.
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/xparsejax
MathJax extension providing xparse definitions
Last synced: 26 Oct 2024