https://github.com/iamrecursion/obsidian-pkvs

A persistent key-value store for use in Obsidian scripting.

javascript javascript-library obsidian obsidian-plugin

Last synced: 05 Apr 2025

https://github.com/iamrecursion/dotfiles-old

Reproducible system configuration

configuration dotfiles git neovim nix nix-dotfiles tmux zsh

Last synced: 26 Jun 2025

https://github.com/iamrecursion/obsidian-lean

(VERY WIP) Lean mode for Obsidian

lean4 notebook obsidian obsidian-plugin

Last synced: 22 Apr 2025

https://github.com/iamrecursion/absol

Formally correct DSLs

dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage

Last synced: 05 Apr 2025

https://github.com/iamrecursion/iamrecursion

A profile readme for Ara Adkins

iamrecursion profile profile-readme readme

Last synced: 09 Apr 2025

https://github.com/iamrecursion/beartype_pls

A bug repro for beartype.

Last synced: 09 Apr 2025

https://github.com/iamrecursion/babylon.js

A shallow copy of babylon.js

Last synced: 09 Apr 2025