Pinned Loading

1. diffblue/cbmc diffblue/cbmc Public

   C Bounded Model Checker

   C++ 842 262

2. Dimappers/Pub Dimappers/Pub Public

   Atos Competion for Dimappers

   Java 6 3

3. kAI kAI Public

   codebehaviour

   C# 1

4. climate-dashboard climate-dashboard Public

   A website with the aim of seeing the state of progress towards tackling climate change.

   JavaScript 2 1

5. bio-pronoun-counter bio-pronoun-counter Public

   Given a list of Twitter handles, counts the number that have their pronouns in their bio.

   Python

6. tubular tubular Public

   Rust