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.

C++

Objective-C

C

Java

Kotlin

Scala

Elixir

Julia

More Languages
Awesome

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

Clojure

Java

Dart

Rust

C#

Lua

Perl

Elm

More Languages
By Country

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

🇸🇲 San Marino

🇨🇱 Chile

🇯🇴 Jordan

🇬🇷 Greece

🇵🇲 Saint Pierre and Miquelon

🇲🇪 Montenegro

🇲🇬 Madagascar

🇨🇳 China

All Countries Compare Countries

Jarl G. Taxerås Flaten (@jarlg)

jarlg

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

JavaScript
37.5 %

Coq 25.0 %

HTML
12.5 %

CoffeeScript
12.5 %

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

Coq 1

CoffeeScript
32

Haskell
82

JavaScript
287

HTML
624

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)