Explore @OctopiChalmers 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.

Erlang

Scala

Python

Java

C++

Rust

TypeScript

C#

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

PowerShell

C++

Elm

Dart

Jupyter Notebook

Swift

Ada

More Languages
By Country

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

🇲🇴 Macao

🇭🇺 Hungary

🇲🇭 Marshall Islands

🇬🇮 Gibraltar

🇹🇼 Taiwan

🇺🇬 Uganda

🇸🇾 Syria

🇭🇹 Haiti

All Countries Compare Countries

Octopi (@OctopiChalmers)

OctopiChalmers

Stars
26
Global Org. Rank 105,218 (Top 34 %)
Registered almost 6 years ago
Most used languages

Haskell
88.9 %

Agda 11.1 %
Location 🇸🇪 Sweden
Country Total Rank 4,699
Country Ranking

Agda 10

Haskell
48

haski

dragen

Branching processes for QuickCheck generators

BinderAnn

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

OptimisingFSME

Supplementary material to "Optimising Faceted Secure Multi-Execution"

mutagen

Property-Based Testing framework using exhaustive mutations.

PropProver

An embedded DSL in Haskell for proving propositional logic stuff kinda interactively.

hpatterns

Playing around with pattern matching representation

dragen2

QuickCheck utilities to generate structured data.

BinderAnn-examples

Case studies of the BinderAnn GHC plugin