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/earmark
Markdown parser for Elixir
pragdave/component
Experiment in moving towards higher-level Elixir components
pragdave/mix_templates
Basis of an open templating system for mix. Also see mix_gen
pragdave/private
Make private functions public if Mix.env is :test. This allows them to be tested.
pragdave/e4p2-hangman
pragdave/dns_parser
Pure Elixir encoder and decoder for DNS records
pragdave/pandoc-tableau
Pandoc extension that allows for fancier table formatting by separating data and layout
pragdave/pl-prolog
Some code from the CodeStool course on Prolog
pragdave/nixpkgs
My (evolving) Nix config
pragdave/Eastside2022
pragdave/with_plugin
A plugin for svg.js that makes it easy to fins the various cardinal points on a shape, and which allows shapes to be positioned using constraints between those points.
pragdave/08-javascript-examples
The anagram code from lecture 8
pragdave/Eastside2019
pragdave/Eastside2020
pragdave/Eastside2023
pragdave/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
pragdave/epub
node.js epub reader
pragdave/helix
A post-modern modal text editor.
pragdave/include-code-files
pragdave/kickstart.nvim
A launch point for your personal nvim configuration
pragdave/motion-canvas
Visualize Complex Ideas Programmatically
pragdave/nvim-to-rtf
Convert code to syntax highlighted RTF
pragdave/pdp11
Restructuring of the PDP11 playground
pragdave/react-md-editor
A simple markdown editor with preview, implemented with React.js and TypeScript.
pragdave/ruby
The Ruby Programming Language
pragdave/ts-pegjs
Plugin for pegjs to generate TypeScript parsers.
pragdave/unison
A friendly programming language from the future
pragdave/unison_tf
Playing around with Unison
pragdave/wc-api-ruby
A Ruby wrapper for the WooCommerce API.
pragdave/xero
rice 🍚 custom linux config files. as seen on r/unixporn #noricenolife neovim cultist. dotfiles are perpetual wip