iamrecursion

Ara Adkins's repositories

obsidian-pkvs

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

Language:TypeScriptMIT12 2 3

dotfiles-old

Reproducible system configuration

Language:ShellMIT9 10

absol

Formally correct DSLs

Language:HaskellBSD-3-Clause5 10

iamrecursion

A profile readme for Ara Adkins

Language:Shell1 10

obsidian-lean

(VERY WIP) Lean mode for Obsidian

Language:TypeScriptMIT1 10

babylon.js

A shallow copy of babylon.js

Language:TypeScriptApache-2.0020

beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Language:PythonMIT000

beartype_pls

A bug repro for beartype.

Language:Jupyter Notebook000

dataview

A high-performance data index and query language over Markdown files, for https://obsidian.md/.

Language:TypeScriptMIT010

dotty

Research compiler that will become Scala 3

Language:ScalaApache-2.0010

graal

GraalVM: Run Programs Faster Anywhere :rocket:

Language:JavaNOASSERTION010

ish

Linux shell for iOS

Language:CNOASSERTION010

obsidian-api

010

obsidian-releases

Community plugins list, theme list, and releases of Obsidian.

000

obsidian-tikzjax

Render LaTeX and TikZ diagrams in your notes

Language:TypeScript010

prettier

Prettier is an opinionated code formatter.

Language:JavaScriptMIT000

Templater

A template plugin for obsidian

Language:TypeScriptAGPL-3.0010

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

000