Pinned Loading

1. GDGVIT/Lookup-Dictionary GDGVIT/Lookup-Dictionary Public archive

   A Cross platform dictionary desktop utility software

   Python 12 5

2. getpopper/popper getpopper/popper Public

   Container-native task automation engine.

   Python 307 62

3. go-jellyfish go-jellyfish Public

   Go port of the python jellyfish module for approximate and phonetic matching of strings.

   Go 3

4. epic_sol_parser epic_sol_parser Public

   Parses sol files used in https://epicapex.tamu.edu/epic/

   Python

5. GetSatProApi GetSatProApi Public archive

   Contains the source code for the GetSatPro API

   Python

6. Dijkstra_Coq Dijkstra_Coq Public

   An implementation of Dijkstra Algorithm in Coq.

   Coq 2