Discover @pragdave Open Source projects

Dave Thomas (@pragdave)

pragdave

Stars
2,525
Global Rank 11,490 (Top 0.5 %)
Followers 1,146
Following 1
Registered almost 16 years ago
Most used languages

Elixir
73.8 %

JavaScript
8.2 %

Ruby
6.6 %

TypeScript
1.6 %

CoffeeScript
1.6 %

Python
1.6 %

Prolog
1.6 %

Nix
1.6 %

Lua
1.6 %

C++
1.6 %

earmark

Markdown parser for Elixir

component

Experiment in moving towards higher-level Elixir components

quixir

Property-based testing for 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

jeeves

diet

Simple reducer-based state machine

codex

Simple tool for creating source-code intensive presentations and courses

otp_dsl

A simple Elixir DSL for creating GenServers

mdef

Easily define multiple function heads in elixir

private

Make private functions public if Mix.env is :test. This allows them to be tested.

e4p-code

Code for the course "Elixir for Programmers"

periodic

Run Elixir functions periodically

exexif

Pure elixir library to extract tiff and exif metadata from jpeg files

dir_walker

Simple Elixir file-system directory tree walker. It can handle large filesystems, as the tree is traversed lazily.

work_queue

Simple implementation of the hungry-consumer model in Elixir

pollution

Create streams of potentially complex type values for Elixir

e4p2-hangman

wex

Playing with something akin to iex in the browser

fsm_dsl

A DSL for Elixir GenFSM modules

map_performance

Simple comparison of performance between maps and hashdicts in Elixir

exlibris

data_division

A library which creates data records that contain validations and error lists, and that is compatible with Phoenix's `form_for`

noddy-test

elixir-fx

Extended anonymous function definitions for Elixir

gen_template_project

A template for `mix gen` that replaces the current `mix new`

ansible-pi-elixir-cluster

Basic setup for my little Raspberry Pi setting I'm using to play with networked Elixir apps

dns_parser

Pure Elixir encoder and decoder for DNS records

pdp11-playground

A simple PDP-11 assembler and emulator, designed to help teach the basics of what goes on inside a computer.

pipe_while_ok

Trivial library to change behavior of pipes so that they abort early if any stage fails to return a tuple that looks like `{:ok, value}`.

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.

elixir_gitlab

Simple Elixir interface to the GitLab API

stream_perlin

Generate a stream of floats that when plotted will look like a random but smooth curve. Uses the 1D Perlin algorithm.

big_ears

Stats and log gathering for components

half-day-elixir

sudoku

Elixir implementation of Peter Norvig's Sudoku solver

e4p2-memory

SImple LiveView app

pl-prolog

Some code from the CodeStool course on Prolog

mpr121_elixir

Elixir interface to the MPR121 12-channel capacitive touch controller

m11

In-browser PDP-11 assembler and interpreter

nixpkgs

My (evolving) Nix config

mastermind

Simple mastermind game

webo_data

The data gathering component of the webo monitoring system

cs3342_07

Concurrency assignment

peglibeg

Example using peglib

pandoc-tableau

Pandoc extension that allows for fancier table formatting by separating data and layout

e4p2-hangman-before-reorg

The sample program for Elixir for Programmers, Second Edition

wordmind

shoulda-gem

Testing made easier on the fingers and the eyes, in gem form

vuepress-plugin-highlightjs

lab5

Make Hangman a GenServer

pow

Trivial proof-of-work implementation for benchmarking

lrsc2013-elixir

Code from the Elixir talk at the 2013 Lone Star Ruby Conference

playback_session

agent

Simple agent implementation for Elixir

strange-escriptize

notes-after

record_session

Record a TTY session, along with timestamps

histo

Example elixir solution to CPTR 124 exercise

Wanna

A private experiment

minimarkdown

Messing around with a minimal markdown in Elixir.

codekata

The codekata blog

gen_template_template

A template for generating new mix termplates

Eastside2022

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.