Discover @jarlg 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.

Dart

R

Julia

PHP

TypeScript

Solidity

C++

Swift

More Languages
Awesome

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

Ruby

Groovy

C#

Jupyter Notebook

PowerShell

Objective-C

Julia

R

More Languages
By Country

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

🇨🇭 Switzerland

🇬🇦 Gabon

🇵🇪 Peru

🇫🇯 Fiji

🇳🇵 Nepal

🇧🇸 The Bahamas

🇱🇾 Libya

🇧🇷 Brazil

All Countries Compare Countries

Jarl G. Taxerås Flaten (@jarlg)

jarlg

Stars
53
Global Rank 327,120 (Top 12 %)
Followers 24
Following 15
Registered almost 13 years ago
Most used languages

JavaScript
37.5 %

Coq 25.0 %

CoffeeScript
12.5 %

Haskell
12.5 %

HTML
12.5 %
Location 🇳🇴 Norway
Country Total Rank 1,396
Country Ranking

Coq 1

CoffeeScript
33

Haskell
97

JavaScript
292

HTML
618

solarized-crosh

The Solarized colorscheme for crosh (chrome shell) on ChromeOS

melatonin

Melatonin, an F.lux-like extension for Chrome, intended for Chromebooks

Yoneda-Ext

A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT

central-types

Formalization of the paper "Central H-spaces and banded types"

lookmanohands

Handsfree scrolling extension for Chrome made at LauzHack '16

graphesizer

graphs as a musical instrument

sun-altitude.js

calculate sun altitude (angle over horizon) given date and geolocation

lambdacoin

A concrete introduction to Haskell (heavily inspired by http://www.michaelburge.us/2017/08/17/rolling-your-own-blockchain.html)