Popular repositories Loading

1. quint quint Public

   Forked from informalsystems/quint

   An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript

2. linkedin-post-analyzer linkedin-post-analyzer Public

   Chrome extension - Analyzes linked in feed, saves posts, analyzes via AI, flags and allows to filter out users considered using too much AI

3. ipad-software-sketches ipad-software-sketches Public

   Turns iPad drawings into formal software specs

   Swift

4. puffin puffin Public

   Forked from jdubray/puffin

   My fork of puffin

   JavaScript

5. awesome-formal-methods awesome-formal-methods Public

   Awesome resources on formal methods

   Shell

6. linkedin-profile-harvester linkedin-profile-harvester Public

   Helps you save linkedin profiles for further analysis

   TypeScript