https://github.com/soficshift/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: 14 Dec 2024

https://github.com/soficshift/multiwalk

Create traversals and queries of multiple types at once

Last synced: 06 Apr 2025

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

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

Last synced: 06 Apr 2025

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

A proof of Pointwise Birkhoff Ergodic Theorem in Lean

Last synced: 06 Apr 2025

https://github.com/soficshift/xparsejax

MathJax extension providing xparse definitions

js latex latex3 math mathjax web xparse

Last synced: 06 Apr 2025

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

Useful functions for dealing with org-attach files

org org-attach

Last synced: 06 Apr 2025

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

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

Last synced: 06 Apr 2025

https://github.com/soficshift/ma719-exercicios

Last synced: 06 Apr 2025

https://github.com/soficshift/lab3exp5

Last synced: 06 Apr 2025

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

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

Last synced: 06 Apr 2025

https://github.com/soficshift/Bilhares.jl

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

Last synced: 15 Mar 2025

https://github.com/soficshift/fingroups.jl

Little script to help classify groups of order N. Was created to help me with my group theory exercises, never got finished.

Last synced: 08 Apr 2025

https://github.com/soficshift/template-latex-enem

Um repositório com um modelo LaTeX do ENEM feito para um curso popular (Emancipa, Campinas).

enem latex modelo template

Last synced: 08 Apr 2025

https://github.com/soficshift/baremacs

My bare Emacs config. No frameworks :)

Last synced: 08 Apr 2025

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

Minimalistic Emacs major mode for Lean 4 using Eglot.

emacs emacs-mode lean lean4

Last synced: 23 Jan 2025

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

Meus pacotes do latex.

Last synced: 06 Apr 2025

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

Formalization of the ergodic decomposition theorem.

Last synced: 06 Apr 2025

https://github.com/soficshift/unionmount-co-log

Union mount in Haskell, with fsnotify and co-log

filesystem haskell unionfs

Last synced: 05 Apr 2025

https://github.com/soficshift/lab3exp3

Last synced: 06 Apr 2025

https://github.com/soficshift/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: 06 Apr 2025

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

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

Last synced: 06 Apr 2025