P. Oscar Boykin (@johnynek)
github

johnynek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    503
  • Global Rank 57,508 (Top 2 %)
  • Followers 644
  • Following 19
  • Registered over 15 years ago
  • Most used languages
    Scala
         52.9 %
    Haskell
         11.8 %
    Python
         11.8 %
    TLA     5.9 %
    C++
         5.9 %
    Java
         5.9 %
    C#
         5.9 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 14,773
  • Country Ranking
    TLA     22
    Scala
         106
    Haskell
         785
    C#
         2,719

Top repositories

1

bosatsu

A python-ish pure and total functional programming language
Scala
224
star
2

inliner

scala macros to inline idiomatic scala for maximum performance
Scala
104
star
3

brunet

a P2P library developed at the University of Florida
C#
45
star
4

ThinkingInMapReduce

Some tutorial-type code to introduce map-reduce style of programming
Scala
28
star
5

fastparse-cats

Cats instances for fastparse
Scala
19
star
6

buildcart

Implementation of the ideas in the Build Systems a la Carte paper
Scala
14
star
7

funcytown

Immutable/persistent functional data-structures which can transparently spill to disk.
Scala
13
star
8

ghissue

Command-line Github issues client
Haskell
11
star
9

unuhi

Scala
10
star
10

rules_tla

Bazel rules for TLA+
TLA
6
star
11

netmodeler

a C++ package for analyzing and modeling network/graph structure.
C++
6
star
12

gottlob

Bazel rules for the Frege programming language
Java
5
star
13

hiona

Scala
4
star
14

dromanova

a simple Python-based download manager for Emusic
Python
2
star
15

sbt_for_bazel

Bazel repository rule to build remote sbt projects
Python
2
star
16

hyperbuild

Scala
2
star
17

go-router

A command line directory aliasing tool that integrates with https://github.com/maccman/go
Haskell
1
star