JP Smith (@japesinator)
github

japesinator

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    84
  • Global Rank 235,692 (Top 9 %)
  • Followers 121
  • Following 17
  • Registered about 11 years ago
  • Most used languages
    Idris     45.5 %
    Python
         27.3 %
    Shell
         9.1 %
    Haskell
         9.1 %
    JavaScript
         9.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 49,003
  • Country Ranking
    Idris     6
    Haskell
         2,612

Top repositories

1

tarts

Timing attack resistant type systems
Idris
24
star
2

Idris-Bifunctors

A small bifunctor library for idris
Idris
21
star
3

Idris-Profunctors

A small profunctor library for idris
Idris
16
star
4

trapifier.py

Makes audio awesome
Python
5
star
5

Broadhead

Arrow-based parser combinators
Idris
5
star
6

funfacts.js

For when javascript's error messages are just way too helpful
JavaScript
4
star
7

Bad-Crypto

A bunch of flawed encryption algorithms
Python
4
star
8

retrogarde

Shell
1
star
9

EQUANIMITY3000

Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
Python
1
star
10

Tic-Tac-Toe.hs

tic-tac-toe in haskell
Haskell
1
star
11

complex

Messing around with complex numbers in idris
Idris
1
star