@defanor
github

defanor

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    48
  • Global Rank 351,264 (Top 13 %)
  • Followers 7
  • Following 1
  • Registered about 11 years ago
  • Most used languages
    Haskell
         35.3 %
    Idris     17.6 %
    C
         17.6 %
    JavaScript
         11.8 %
    Emacs Lisp
         5.9 %
    Scheme
         5.9 %
    C++
         5.9 %

Top repositories

1

pancake

A CLI/emacs web/gopher/file browser
Haskell
15
star
2

threefish-1024.js

JS implementation of Threefish-1024
JavaScript
7
star
3

tlsd

A TLS daemon
C
5
star
4

invincy

Invertible and incremental parsing
Idris
3
star
5

rexmpp

A reusable XMPP library
C
2
star
6

pgxhtml

XSLT-based PostgreSQL web interface
Haskell
2
star
7

cyrillic-colemak

cyrillic-colemak input method for emacs
Emacs Lisp
1
star
8

semantic-ui

Not a CSS framework
Haskell
1
star
9

drawings

1
star
10

dotfiles

Haskell
1
star
11

wwwlite

A lightweight web browser
C
1
star
12

5x15-keyboard

A keyboard
C++
1
star
13

postforum

a simple postgres-powered forum
JavaScript
1
star
14

idris-stuff

Idris
1
star
15

idris-json-rpc

JSON-RPC 2.0 in Idris
Idris
1
star
16

cscm-zlib

zlib bindings for Chicken Scheme
Scheme
1
star
17

coalpit

Command-line options and DSV parsing and printing
Haskell
1
star
18

dwproxy

A Discworld MUD proxy
Haskell
1
star