Redvers Davies (@redvers)
  • Stars
    star
    68
  • Global Rank 274,652 (Top 10 %)
  • Followers 38
  • Following 8
  • Registered over 13 years ago
  • Most used languages
    Pony
    72.4 %
    Elixir
    10.3 %
    Erlang
    6.9 %
    C
    3.4 %
    Propeller Spin
    3.4 %
    Arduino
    3.4 %

Top repositories

1

pastenix

Pastebin functionality with IRC integration - Exploration of Elixir
Elixir
6
star
2

jndi-file-scanner

CLI Tool to help identify vulnerable java artifacts
Pony
6
star
3

pony-pg

Pure Pony driver for PostrgreSQL
Pony
5
star
4

isokeyboard

Sources for the isokeyboard project
4
star
5

dc22hack

Defcon 22 "Hack the Badge" competition entry.
Propeller Spin
4
star
6

pony-smtp

Library to send packages EMails via smtp
Pony
3
star
7

pony-email

Pony library to format EMails.
Pony
3
star
8

pony-libxml2

An XML library for Pony which uses libxml2 as a back-end.
Pony
3
star
9

tag-connect

tag-connect diptrace libraries
3
star
10

pony-raw

Pure pony implementation of raw sockets on Linux
Pony
2
star
11

cbclientapi

Client API binding for Elixir
Elixir
2
star
12

pony-glfw3

Playground for glfw for pony!
Pony
2
star
13

c2pony

Experimental castxml2pony replacement
C
2
star
14

cblive

Interactive shell and event processing engine for Carbon Black data.
Elixir
1
star
15

minimal-browser

A minimal web browser written in ponylang, designed as an example application.
Pony
1
star
16

pony-gtk4

Pony
1
star
17

gopherd

When I learn a new language, gopherd is my first target!
Pony
1
star
18

ldap-pony

Pony package to perform LDAP queries.
Pony
1
star
19

cbmqwriter

Writes protobuf data to disk.
Erlang
1
star
20

castxml2pony

Produces Pony APIs from castxml .xml files.
Pony
1
star
21

wopr

Hardware and Firmware for the PCB Ribbon I made to give-away at BSidesLV 2013
1
star
22

pony_aoc2021

Advent of Code 2021 in Pony
Pony
1
star
23

pony-gtk4-old

Pony wrapper for Gtk4
Pony
1
star
24

pony_html

HTML Rendering from Pony
Pony
1
star
25

sdc2017a

Updated firmware for SDC6 (2016) badge.
Arduino
1
star
26

pony-vulkan

Playground for testing Vulkan with Pony
Pony
1
star
27

cb_syslog

Rules-based CB Event -> Syslog bridge.
Erlang
1
star
28

gpony

Build system for Gtk-4.0 and friends for Ponylang
Pony
1
star
29

pony-glib

Pony
1
star
30

pony-ncurses

Pony wrapper for the ncurses library.
Pony
1
star
31

xml

A pure pony xml parser
Pony
1
star
32

modelf

Files for DT Model F training
1
star
33

pony-matrix-clientapi

Pony implementation for a subsection of the Matrix Client API
Pony
1
star