Discover @dysinger Open Source projects

Dysinger (@dysinger)

dysinger

Stars
510
Global Rank 55,144 (Top 2 %)
Followers 234
Following 12
Registered over 16 years ago
Most used languages

Haskell
52.6 %

Clojure
10.5 %

PureScript 10.5 %

Shell
5.3 %

Idris 5.3 %

Ruby
5.3 %

OCaml
5.3 %

CSS
5.3 %
Location 🇺🇸 United States
Country Total Rank 14,571
Country Ranking

Idris 22

OCaml
34

PureScript 54

Haskell
472

Clojure
1,026

Shell
4,868

restack

Full Stack ReasonML Tutorials

nanomsg-examples

Examples of different message types in C with nanomsg

learn-minikube

lfe-otp-ping-pong

A Simple Example of Using LFE (Lisp Flavoured Erlang) for Erlang OTP code

agda-haskell-c-ffi-layer-cake

Demostration of FFI from Agda -> Haskell -> C in one project

purescript-leaflet

Purescript Leaflet Wrapper Library

khartes

An Experiment with Both Haskell & Idris JS FFI interface to AWS

aeson-wai-example

Example code showing how easy it is to do REST w/ JSON in Haskell

hackamore

Clojure Library for Apache Camel

purescript-aws

Purescript Library for AWS

callwords

Simple tool that prints ham radio call signs that have close word matchings

coduino

Copilot sandbox for Arduino

kommand

Command Line Proxy/Help/Search

hmac

x

XMonad Executable

knights

Knights Open Tour Problem in Clojure

docker-gnupg

Simple project to build verified gnupg (latest) from scratch inside a docker container

gec2

Gentoo on EC2 (with puppet) [NOTE: this is an old project & may not work anymore]

kh6e.org

Kauai Amateur Radio Club (KH6E) Website

graphduty

gtk-hello

Gtk2Hs hello world app using GtkBuilder w/ embeded glade file

kh6e

KH6E website repo