Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / pragdave
Developer Profile

pragdave

Discovered public repositories for pragdave in the GitHub catalog.

↗

pragdave/ttyrec

ttyrec is a tty recorder. Recorded data can be played back with the included ttyplay command. ttyrec is just a derivative of script command for recording timing information with microsecond accuracy as well. It can record emacs -nw, vi, lynx, or any programs running on tty.

↗

pragdave/codeserver

A Sinatra server that serves syntax highlighted files (or parts of files).

↗

pragdave/kramdown

kramdown is yet-another-markdown-parser but fast, pure Ruby, using a strict syntax definition and supporting several common extensions.

↗

pragdave/rebar

Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases.

↗

pragdave/iex_test

Reads files looking for <iex>...</iex> tags. Assumes what is between them is an iex session. Runs the code, and verifies the output is correct.

↗

pragdave/xui

A tiny javascript framework for mobile web apps.

↗

pragdave/codex

Simple tool for creating source-code intensive presentations and courses

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.