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

Haskell

Nix

OCaml

Crystal

C

R

C++

PowerShell

More Languages
Awesome

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

Nix

Go

Lua

TypeScript

Kotlin

Scala

C++

Dart

More Languages
By Country

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

🇲🇲 Myanmar (Burma)

🇯🇵 Japan

🇹🇰 Tokelau

🇺🇬 Uganda

🇲🇫 Saint Martin

🇸🇬 Singapore

🇲🇪 Montenegro

🇮🇳 India

All Countries Compare Countries

Andrew Cobb (@cobbal)

cobbal

Stars
215
Global Rank 116,444 (Top 5 %)
Followers 18
Registered almost 15 years ago
Most used languages

Shell
16.7 %

Coq 16.7 %

Objective-C
16.7 %

Swift
16.7 %

C++
16.7 %

Haskell
16.7 %
Location 🇺🇸 United States
Country Total Rank 26,632
Country Ranking

Coq 233

Shell
1,080

Haskell
2,418

Swift
2,761

Objective-C
2,974

python-for-iphone

Build script for compiling python into a static library that can be used with the official SDK

python-for-iphone-test

A test for running python on the iPhone

swsh

The Swift Shell

pietc

A Piet compiler, built on llvm

ppl-ctx-equiv-coq

A logical relation for contextual equivalence of a probabilistic programming language in Coq

fc-abstract

Abstract Interpreter for Haskell's CoreSyntax (system FC)