-
Johns Hopkins University
- Baltimore, MD
- michaelkoberst.com
- @michaeloberst
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
frozen-in-time version of our Paper Finder agent for reproducing evaluation results
markdown processor powered by plugins part of the @unifiedjs collective
A Node.js style checker and lint tool for Markdown/CommonMark files.
Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
Web-based long-form microblog authoring tool with rich text and math support.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Python Package for FSRS Spaced Repetition
The glamourous AI coding agent for your favourite terminal 💘
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
ccundo seamlessly integrates with Claude Code to provide granular undo functionality. It reads directly from Claude Code's session files to track file operations and allows you to selectively rever…
An open-source AI agent that brings the power of Gemini directly into your terminal.
neowiki.nvim: modern vimwiki successor for instant notes & GTD 🚀📝
An interactive cheatsheet tool for the command-line
A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐
Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.
Neovim plugin for live PDF preview - LaTeX workflow in containers
A Python library for interacting with taskwarrior databases.
Create web-based user interfaces with Python. The nice way.
An extremely fast Python type checker and language server, written in Rust.
What happens if you try to combine dap-view and hydra.nvim? debugmaster.nvim – a modern dap-ui alternative!