Discover @athanclark Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

HTML

R

TypeScript

Kotlin

Crystal

PHP

CoffeeScript

Dart

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Java

Dart

TypeScript

C++

Objective-C

Go

Lua

Ruby

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇰🇭 Cambodia

🇾🇹 Mayotte

🇬🇹 Guatemala

🇵🇱 Poland

🇰🇿 Kazakhstan

🇵🇼 Palau

🇮🇶 Iraq

All Countries Compare Countries

Athan Clark (@athanclark)

athanclark

Stars
228
Global Rank 111,165 (Top 4 %)
Followers 61
Following 101
Registered over 12 years ago
Most used languages

Haskell
50.0 %

PureScript 27.8 %

Dhall 5.6 %

HTML
4.2 %

JavaScript
4.2 %

Elm
4.2 %

Shell
1.4 %

Coq 1.4 %

Idris 1.4 %
Location 🇺🇸 United States
Country Total Rank 26,057
Country Ranking

Dhall 10

PureScript 20

Idris 86

Elm
146

Coq 186

Haskell
245

HTML
4,663

cassowary-haskell

A haskell implementation of the Cassowary linear programming solver.

purescript-tuples-native

Implementation of tuples as a flat heterogeneous array, for FFI

dag

A well-typed Directed Acyclic Graph in Haskell

nested-routes

Declarative, Compositional Url Handling for WAI

purescript-monad-control

A clone of monad-control in purescript

elm-debouncer

Debouncification for elm-ness

purescript-websockets-rpc

A simple subscription-esque RPC mechanism using WebSockets, ala the haskell websockets-rpc library (client only)

urlpath

Extremely simple URL combinator DSL thing

pred-trie

predicative lookup container

ws

A simple websocket CLI tool

websockets-rpc

A simple subscription-esque RPC mechanism using WebSockets

purescript-zeta

Signals from outer space

purescript-arraybuffer-class

Simple encoding / decoding classes for ArrayBuffers

elm-threading

A simple threading patch for elm ports

purescript-subtlecrypto

Basic PureScript-friendly bindings to SubtleCrypto

purescript-unique-array

purescript-inflection

Bindings to inflection

poly-arity

Tools for working with functions without regard to their arity

tmapmvar

A singleton version on TMapChan

purescript-haskell-iso

Haskell / Purescript package for isomorphic JSON

purescript-queue

A queue-esque data type for purescript.

purescript-bignumber

Bindings to BigNumber.js

HSet

A faux heterogeneous set implementation in Haskell, leveraging Typeable

purescript-zeromq

Bindings to zeromq

purescript-websocket-moderate

A different websocket binding for purescript

purescript-monad-unlift

Unlift implementation for PureScript

purescript-intmap

A basic IntMap that leverages Foreign.Object

security-plus-notes

Notes for the CompTIA Security+ course

wai-transformers

Simple parameterization of Wai's Application type

tries

Various trie data types in Haskell

simplex-basic

A trivial implementation of the simplex algorithm.

purescript-sequelize

Bindings to sequelize

rose-trees

Some stuff for rose trees

purescript-jsdom

Bindings to the jsdom library

timemap

A map structure for UTCTime-indexed entities

follow-file

follow a file - being notified with what's appended.

digestive-functors-lucid

Representation of digestive-functors for lucid

linear-simplex-haskell

A Haskell implementation of Bland's finite pivoting method, over Rationals

purescript-symbiote

Data serialization verification implementation

abides

The class abides, man

commutative

Class for Commutative binary operations.

purescript-quickcheck-combinators

Typelevel combinators for quickcheck, in purescript

almost-fix

Combinators for predicative recursion

symbiote

Data serialization verification implementation

wai-session-alt

An alternative session middleware for WAI.

purescript-quickcheck-utf8

UTF8 String generator for quickcheck

unfoldable-restricted

Restricted alternative to Unfoldable

markup

Generic interface to markup languages

pseudo-trie

...It's something, let's just call it that.

webpage

A generic scaffold for a web page, for lucid.

attoparsec-ip

Parsers for IP addresses

every

Run an IO action every so often.

coq-rational

An alternative implementation of rational numbers in Coq

sparrow

Data-dependency framework for web applications

libraries

Notes on all of the software libraries I've developed

purescript-qrcode

A binding to the `qrcode` node module

quickcheck-combinators

type-level combinators for quickcheck instances

idris-map

Simple Data.Map port to Idris

unit-constraint

Extremely simple typeclass

frankenscript

JavaScript with Partial Application

goals

Personal goals document

wai-middleware-content-type

Route to different middlewares based on the incoming Accept header detected.

purescript-math-equation

Equations as data structures

purescript-material-ui

Material-UI bindings for purescript.

quack

A total ripoff as far as parser combinators are concerned

purescript-z85

Encoding and Decoding for ZeroMQ's z85 binary format.

attoparsec-uri

A compositional URI parser / printer for attoparsec

happ-store

An app store for Hackage

websockets-simple

A simple wrapper around the websockets library.

elm-every

It's like something that does stuff

purescript-diff

Diff-esque features for purescript (nothing to do with automated differentiation)

purescript-byte-codec

Byte-oriented codecs

athanclark.github.io

Personal website

linear-grammar

An AST for linear equations and inclusive inequalities.