Pinned Repositories
codex
Simple tool for creating source-code intensive presentations and courses
component
Experiment in moving towards higher-level Elixir components
diet
Simple reducer-based state machine
earmark
Markdown parser for Elixir
jeeves
mdef
Easily define multiple function heads in elixir
mix_generator
Project generator for mix (an alternative to mix new)
mix_templates
Basis of an open templating system for mix. Also see mix_gen
otp_dsl
A simple Elixir DSL for creating GenServers
quixir
Property-based testing for Elixir
pragdave's Repositories
pragdave/dir_walker
Simple Elixir file-system directory tree walker. It can handle large filesystems, as the tree is traversed lazily.
pragdave/pdp11-playground
A simple PDP-11 assembler and emulator, designed to help teach the basics of what goes on inside a computer.
pragdave/e4p2-memory
SImple LiveView app
pragdave/m11
In-browser PDP-11 assembler and interpreter
pragdave/e4p2-hangman-before-reorg
The sample program for Elixir for Programmers, Second Edition
pragdave/wordmind
pragdave/neovim-dotfiles
Just my neovim config
pragdave/strscan-ts
TypeScript/JavaScript port of Sam Stephenson's port of Ruby's strscan library, allowing you to do simple lexing and parsing
pragdave/vuepress-plugin-highlightjs
pragdave/11-smurf-1
Setup environment and start evaluating expressions
pragdave/CodeFlask
A micro code-editor for awesome web pages.
pragdave/DefinitelyTyped
The repository for high quality TypeScript type definitions.
pragdave/e4p2-play_with_specs
Sample code with a type error
pragdave/exa
A modern replacement for ‘ls’.
pragdave/FLexer
Simple Lexer and Parser in F#
pragdave/home_assistant
pragdave/markdown-it
Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed
pragdave/mkpdfs-mkdocs-plugin
Converts your mkdocs documentation in PDF, to be shared with users
pragdave/pegjs-util
Utility Class for PEG.js
pragdave/pragdave.github.io
The pragdave blog
pragdave/python-socketio
Python Socket.IO server and client
pragdave/railroad-diagrams
Very simple TypeScript RR diagram generator
pragdave/remark-directive
remark plugin to support directives
pragdave/SmartThingsPublic
SmartThings open-source DeviceTypeHandlers and SmartApps code
pragdave/svg.js
The lightweight library for manipulating and animating SVG
pragdave/tones
Annotate Hànzì with tones, using a little context to trey to choose the right one...
pragdave/use-editable
A small React hook to turn elements into fully renderable & editable content surfaces, like code editors, using contenteditable (and magic)
pragdave/uts2
μts is a miniature time-series database utility
pragdave/vuepress-theme-hope
A vuepress theme with tons of features✨
pragdave/xterm.js
A terminal for the web